remove PHP 5.2 code