Travis: Modifying php.ini should no longer be needed