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
Umherirrender b271b15664 Use ::class for class name resolution 
Available since php5.5

Change-Id: I5ede65cd7ba1e476d74f64126c6a78989c0c3e99
2019-03-03 02:22:47 +01:00
..
updateCSS.php Use ::class for class name resolution 2019-03-03 02:22:47 +01:00
updateLexerList.php Use ::class for class name resolution 2019-03-03 02:22:47 +01:00