Added MediaWiki 1.23.5