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 Thursday, 19 November 2014 (see the roadmap).