updateTo MediaWiki 1.23.7