Replace PHP 5.4 code by 5.3 code