That's a PHP 5.5. constant, also provided by the compatibility library that I added