jenkins-bot f2d0dde88c Merge "Enable clicking on wikilinks and external links in highlighted code"		2024-09-09 13:29:52 +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	Merge "Enable clicking on wikilinks and external links in highlighted code"	2024-09-09 13:29:52 +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