Small update for MediaWiki 1.22.