MediaWiki 1.25/wmf17

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