mediawiki-core: 1.31.5