Wikimedia Bugzilla is closed!

Within a category there should be a search box to be able to search through and filter entries in the category.

The starting point would be a box into which the user enters a string, which is searched for when a button is bonked.

Now the easiest thing would be to search for the string within the page/media titles; I assume that would be more efficient than searching through the body texts.

I think it would also be good to be able to select filetype(s) to search for.  This could be a series of checkboxes of all available filetypes (including considering articles and subcategories as filetypes), (and treating jpg/jpeg together the same).  They should all be selected by default.