Fix #16202: Travis CI: set up PHP 5.3 build