Plugin Tag: admin filter:

Admin Menu Filter adds a search box to the WordPress admin interface that allows you to quickly filter and find menu items.