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)
Remove PHP-based syntax highlighters


Trivial merge