MediaWiki 1.25/wmf9

The latest version (labeled "1.25wmf9") of MediaWiki, the software that powers Wikipedia and its sister sites, is being deployed to all Wikimedia sites in stages, starting on Wednesday, 19 November 2014 (see the roadmap).