Admin Menu Filter v0.3.1
Admin Menu Filter adds a search box to the WordPress admin interface that allows you to quickly filter and find menu items.
Tags / admin-filter
admin filter
1 WordPress plugins tagged “admin filter”. Every result links to a crawlable PlugIndex profile.