modules/mediawiki/views/Extjs3/MainPanel.js
modules/mediawiki/views/Extjs3/SettingsDialog.js