Merge "Make travis test against PHP 7.2"