Removes PHP 5.3 as a supported option. Related to #555'