wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-15 02:24:07 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Syntax.../maintenance
History
Umherirrender e8a706058d Use Maintenance::fatalError instead of exception in maintenance script 
fatalError is better readable on the cli

Change-Id: Id4b16b2a11ed9f09d6e995d6dcadffd024ee58de
2020-06-02 20:25:39 +00:00
..
updateCSS.php Use Maintenance::fatalError instead of exception in maintenance script 2020-06-02 20:25:39 +00:00
updateLexerList.php Use Maintenance::fatalError instead of exception in maintenance script 2020-06-02 20:25:39 +00:00