Remove line about PHP 5.3