[Wikitech-l] Packaging errors in latest MediaWiki releases; release of MediaWiki 1.12.3