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.