wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-23 22:13:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Syntax.../maintenance
History
zoranzoki21 55e9170492 Update Maintenance scripts in extensions to use $this->requireExtension() 
Bug: T152139
Change-Id: I9aead5ae7106150dfae749a91b6b403c94811f3f
2018-01-28 16:42:01 +00:00
..
updateCSS.php Update Maintenance scripts in extensions to use $this->requireExtension() 2018-01-28 16:42:01 +00:00
updateLexerList.php Update Maintenance scripts in extensions to use $this->requireExtension() 2018-01-28 16:42:01 +00:00