Umherirrender 888aa0e373 Use namespaced classes ... Changes to the use statements done automatically via script Change-Id: Ifa5d93fd8c4b96fa22e6c4bbadc0e9c5315d7be1		2024-06-10 20:40:28 +02:00
..
ParsoidExt.php	Set hasWikitextInput flag to false	2023-10-03 20:52:29 +00:00
Pygmentize.php	Pygmentize: report stderr when exit code != 0 and stdout is empty	2024-05-17 11:01:28 -06: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 namespaced classes	2024-06-10 20:40:28 +02: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