Removed support of PHP 5.3 for the CI server