Is the `php.ug` website relying on PHP < 5.5? Because all this stuff would be much nicer with the 5.5 `::class` construct