mediawiki-extensions-Visual.../maintenance
..
AutodisableVisualEditorPref.php