Migrate to the new name for the travis jobs config
Migrate to the new name for the travis jobs config

The matrix expansion of PHP version was not merged anymore with the explicitly included jobs (keeping only explicit ones). This tries to see whether this works fine when using the new name
Behat/Gherkin