thiemowmde 040f45302b Fix GeSHi support, update PHP/JSDocs, use modern PHP ... The PHPDoc/JSDoc updates are mostly about generic "array" types that can be made more specific. In PHP we can remove documentation when it is 100% identical to the type declarations in the code. A few mistakes are fixed as well, e.g. a missing "null". This patch also made a major mistake visible. It looks like the $geshi2pygments compatibility map was broken since 2018. The array was changed from values to keys via I7a852dd and some usages updated, but one was forgotten. Change-Id: I480999d21f2f69cba84166bb877aa75882778966		2024-01-22 20:10:04 +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	Fix GeSHi support, update PHP/JSDocs, use modern PHP	2024-01-22 20:10:04 +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