Clarify that constants from all PHP extensions are not highlighted