A few questions/heads-ups below about the filetype dropdown:

IIUC, the dropdown's label should show 'all media' when all five filetypes are selected?
There exist a few more filetypes than these 5, though: unknown (could not detect), drawing (SVGs), multimedia (could not reliably detect), text (plaintext/html), executable, archive
Since the label shows 'all media', do we actually want to search *all* media types (when actually only 5 have been selected and it could be confusing to find other file types in the result), or do we only want to search for these 5 filetypes (where it could be confusing that it's labeled 'all media')?

Also, it appears that 'Text' refers to OFFICE (which is the filetype for PDF files).
There's also a TEXT file type (for plaintext & html - though it doesn't seem to actually have any files associated with it...)
Using the label 'Text' instead of 'Office' could therefor possibly be confusing, since a few other things already expose these filetypes under different terms. E.g.: https://commons.wikimedia.org/wiki/Special:NewFiles
I'm happy to use the suggested terminology of Images, Audio, Texts, Videos & 3D - I just want to point out that other terminology is already used elsewhere. Do we want to reconsider the terminology, and/or update the words used elsewhere?

Lastly, it appears that DjVu files are indexed as BITMAP (= image), not as TEXT or OFFICE. Is that something we intend to change?

Change 441040 had a related patch set uploaded (by Matthias Mullie; owner: Matthias Mullie):
[mediawiki/extensions/WikibaseMediaInfo@master] Search prototype

https://gerrit.wikimedia.org/r/441040

Also: these filter options are no longer nested.
Do we expect to have nested filter options at some later point, or will we likely not have that?

I know it's hard to predict the future.
Just asking to know whether to keep the code around in the codebase, or get rid of that now-unneeded complexity.
I'm going to get rid of the the code (won't be lost, it'll still be in gerrit history), unless we have concrete plans to bring it back in a later stage (in which case we might as well keep maintaining it)

Hey Matthias,

Yes, the dropdown label should show 'all media' when these five filetypes are selected. I had previously conducted a search for the unmentioned filetypes you included and they tend to return nothing, so I want to simplify what's searchable by what is actually returnable in a search. I am making an assumption that these filetypes will be the most common and useful to search by (Images / Audio / Texts / Videos / 3d). If advanced users must search the additional filetypes (unknown, text, executable, archive), that can be done with advanced keyword searching. SVG filetypes are included in the Images filetype.

I've wrestled a bit with calling things Texts vs Documents, and although the TEXT filetype returns no results, you make a good case in using a different word, so perhaps we should go with Documents ( @Ramsey-WMF, we've talked about this a bit, what say you?)

I don't know why DjVU files are indexed as BITMAP and that is confusing to me. In Commons documentation, it is referred to as a multipage document, and it makes more sense to be under documents to me. On this information page, it's listed as a "textual document."

I don't know that we'll need nested filter options in the future, it just wound up being redundant to have multimedia nested like that (and why this design is simpler).

I spoke with Ramsey and he agrees Documents can be used instead of Texts to make the filename convention consistent, even though we don't currently have TEXT files (maybe we will in the future?).

Is it possible to re-index DjVU files as OFFICE? Since multiple pages on Commons consider DjVU files as multipage documents (alongside PDFs) this makes more sense.

I updated the description to better reflect today's reality.
Changes:

• OFFICE types will be called "Documents" instead of "Texts" (there already exists a category called "Text")
• Tabbed navigation feedback has already been processed, so I made that obvious in the description
• Conversion of DjVu files into new category has been mentioned in comments - this was done here: T212852: Index DjVu files as OFFICE instead of BITMAP?

Actual work still to be done:

• Make use of the recently introduced feature to search in multiple filetypes at once T216536: Use filetype:bitmap|audio to search in multiple filetypes at once
• Get rid of the now unneeded code for nested checkboxes T216538: Get rid of the now unneeded code for nested checkboxes
• Update the categories that are being used in that dropdown T216540: Update categories used in filetypes dropdown
• Make sure that, when all are selected, the dropdown just says "Multimedia" T216541: Make sure that, when all are selected, the dropdown just says "Multimedia"
• Do we want to reconsider the checkboxes/dropdown? This is currently a complex custom combination of multiple OOUI elements, but there appears to be an existing solution that does pretty much the same thing: see the 3rd toolbar on https://doc.wikimedia.org/oojs-ui/master/demos/?page=toolbars&theme=wikimediaui&direction=ltr&platform=desktop and open that 3rd button, which is a dropdown that lets you select multiple styles. This will need investigation & discussion with @PDrouin-WMF

@matthiasmullie missed this until now. I'm looking at the toolbar, but not sure I'm seeing the right thing. Is it this one?

@PDrouin-WMF: yes, that's the one.

Sidenote: I've split most of the remaining work into separate tickets.

Matthias, I don't know that it'd be immediately understandable for users that they can select more than one kind of media by using this particular pattern. It gives me the impression that I can only chose one at a time.

Change 441040 had a related patch set uploaded (by Matthias Mullie; owner: Matthias Mullie):
[mediawiki/extensions/WikibaseMediaInfo@master] Search prototype

https://gerrit.wikimedia.org/r/441040

Change 441040 merged by jenkins-bot:
[mediawiki/extensions/WikibaseMediaInfo@master] Search prototype

https://gerrit.wikimedia.org/r/441040