Umherirrender c0703d33ec build: Upgrade mediawiki/mediawiki-codesniffer to v43.0.0 ... Change-Id: If2acd67c6275e74e487a2e0ce8d34277a70782ca		2024-03-12 20:48:18 +01:00
..
ParsoidExt.php	Set hasWikitextInput flag to false	2023-10-03 20:52:29 +00:00
Pygmentize.php	Fix GeSHi support, update PHP/JSDocs, use modern PHP	2024-01-22 20:10:04 +01: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	build: Upgrade mediawiki/mediawiki-codesniffer to v43.0.0	2024-03-12 20:48:18 +01: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