Removed `php_user_filter` from PHP keywords.