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.../includes
History
Fomafix b58d0bded1 Use MainConfig instead of global variables 
Also use MainConfigNames.

Change-Id: I5b61c2badd2aa2163cbc429003a890bf559dc4f6
2024-08-12 21:06:29 +00:00
..
ParsoidExt.php Set hasWikitextInput flag to false 2023-10-03 20:52:29 +00:00
Pygmentize.php Use MainConfig instead of global variables 2024-08-12 21:06:29 +00:00
PygmentsException.php Port to BoxedCommand 2021-09-10 11:47:28 -07:00
ResourceLoaderPygmentsModule.php Add a few missing type declarations to properties and methods 2024-01-22 09:39:30 +01:00
SyntaxHighlight.php Use MainConfig instead of global variables 2024-08-12 21:06:29 +00:00
SyntaxHighlightAce.php Fix GeSHi support, update PHP/JSDocs, use modern PHP 2024-01-22 20:10:04 +01:00
SyntaxHighlightGeSHiCompat.php Fix GeSHi support, update PHP/JSDocs, use modern PHP 2024-01-22 20:10:04 +01:00
VisualEditorConfig.php Add a few missing type declarations to properties and methods 2024-01-22 09:39:30 +01:00