Update to mediawiki 1.22.5