isagalaev/highlight.js — pull request #261 by bolknote (2013-08-14 18:25:40+00:00)
Title: PHP 5.5 keywords

Вань, а что делает в ключевых словах PHP класс php_user_filter? Это не ключевое слово, а обычный класс модуля stream: http://php.net/manual/en/class.php-user-filter.php Таких классов в PHP пруд пруди.