PHP 5.4-ize