Етикет на разширения: admin menu filter

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