wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-15 10:39:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Syntax.../maintenance
History
Derk-Jan Hartman 45e3085a59 Remove GeSHi from class and filenames 
Remove the GeSHi name from filenames and classes where possible. We no
longer actually use GeSHi, and though we cannot rename the extension or
repo atm, we can rename these.

Bug: T164939
Change-Id: I02bc3304d88103c5302f203e788fc73ff20e1050
2017-05-20 14:47:23 +00:00
..
updateCSS.php Remove GeSHi from class and filenames 2017-05-20 14:47:23 +00:00
updateLexerList.php Remove GeSHi from class and filenames 2017-05-20 14:47:23 +00:00