Upgrade to mediawiki 1.23.2