Bump minimum PHP version to PHP 5.4.0
This is the first commit in a longer series of adjustements