mediawiki-extensions-Syntax.../maintenance
Umherirrender 63fbfa541e Use namespaced classes
Changes to the use statements done automatically via script
Addition of missing use statement done manually

Change-Id: Iede38f051529229fce7660dce7d0dba64724ee8a
2024-10-20 11:56:25 +02:00
..
updateCSS.php Use namespaced classes 2024-10-20 11:56:25 +02:00
updateLexerList.php Use namespaced classes 2024-10-20 11:56:25 +02:00