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
..
ve-syntaxhighlight	Fix GeSHi support, update PHP/JSDocs, use modern PHP	2024-01-22 20:10:04 +01:00
.eslintrc.json	build: Update devDependencies	2022-03-20 15:05:03 +00:00
pygments.generated.css	Update Pygments to 2.16.1	2023-08-15 04:03:17 +00:00
pygments.linenumbers.js	Line number highlight: Use getTargetFromFragment	2022-08-31 13:10:18 +00:00
pygments.wrapper.less	stylelint: Enable selector-pseudo-element-colon-notation	2023-03-30 01:00:39 +02:00