php marked mime_content_type() as depricated by mistake, and have fixed that in there manual. https://bugs.php.net/bug.php?id=71367 Could you update the php-highligt to reflect that correction => mark is at a normal function.
Git commit e1f59eaa6db27674d6c8492cb7bf7f325e121603 by Dominik Haumann. Committed on 23/07/2017 at 14:07. Pushed by dhaumann into branch 'master'. PHP: Remove mime_content_type() from list of deprecated functions Ths was a mistake by PHP, see https://bugs.php.net/bug.php?id=71367 FIXED-IN: 5.37 M +2 -2 data/syntax/php.xml https://commits.kde.org/syntax-highlighting/e1f59eaa6db27674d6c8492cb7bf7f325e121603