Re-added PHP 5.4