mediawiki-extensions-Syntax.../maintenance
Umherirrender deb5fc0fcf Rename files to match classes
Change-Id: I6e66abdf4f0eff0a24b96e543f2ce8f293bb7860
2017-12-10 01:32:49 +01:00
..
updateCSS.php Make sure $wgPygmentizePath is sane only when we need it 2017-07-06 00:57:40 -07:00
updateLexerList.php Rename files to match classes 2017-12-10 01:32:49 +01:00