Merge pull request #4926 from WoltLab/remove-php-highlighters
authorTim Düsterhus <duesterhus@woltlab.com>
Fri, 5 Aug 2022 12:09:50 +0000 (14:09 +0200)
committerGitHub <noreply@github.com>
Fri, 5 Aug 2022 12:09:50 +0000 (14:09 +0200)
commitd69ebc3d97f2ff72650a09051bcbbe81e349792f
treeb346473f4d479a852ed289d05a24360c6bd7286c
parent432324dac9897b1b4f051a166dc166ce6dae7723
parentccabb1328d6f9bea2700a6aa4a005b11a8983f4b
Merge pull request #4926 from WoltLab/remove-php-highlighters

Remove PHP-based syntax highlighters