Umherirrender 890a260032 Use namespaced classes ... This requires 1.42 for some new names Change-Id: I3821d2bca4aa8e7c0fce2a730c070b597c526247		2024-01-05 19:29:59 +01:00
..
ParsoidExt.php	Set hasWikitextInput flag to false	2023-10-03 20:52:29 +00:00
Pygmentize.php	Pygmentize: Treat Shellbox network loss like non-zero exit code	2023-06-03 14:25:50 +01:00
PygmentsException.php	Port to BoxedCommand	2021-09-10 11:47:28 -07:00
ResourceLoaderPygmentsModule.php	Use new ResourceLoader namespace	2022-05-27 03:42:55 +00:00
SyntaxHighlight.php	Use namespaced classes	2024-01-05 19:29:59 +01:00
SyntaxHighlightAce.php	Namespace rest of the extension	2022-03-18 01:42:11 +00:00
SyntaxHighlightGeSHiCompat.php	Namespace rest of the extension	2022-03-18 01:42:11 +00:00
VisualEditorConfig.php	Migrate ResourceLoaderSyntaxHighlightVisualEditorModule to a virtual file callback	2023-05-08 17:15:48 +10:00