mediawiki-extensions-Visual.../modules/ve/ui/tools/dropdowns
..
ve.ui.FormatDropdownTool.js
ve.ui.MWFormatDropdownTool.js