[Pywikibot-commits] [Gerrit] Bugfix for older mediawiki short monthsnames - change (pywikibot/core)