PHP: support PHP>=5.3