Convert syntax to PHP 5.3