There are build errors in the mediawiki builds on travis-ci, which
have been happening for four months.
https://travis-ci.org/wikimedia/mediawiki-core/builds
Is anyone using that to help with development. I doubt it, given they
are broken.
Could they be disabled, as those jobs are causing other travis-ci jobs
under 'wikimedia' to be delayed. e.g. the pywikibot-core builds,
where the developer team actively uses the travis builds.
https://travis-ci.org/wikimedia/pywikibot-core/builds
--
John Vandenberg