updateTo MediaWiki 1.23.4