MediaWiki 1.23/wmf3

The latest version (labeled "1.23wmf3") of MediaWiki, the software that powers Wikipedia and its sister sites, is being deployed to all Wikimedia sites in stages, starting on Thursday, 7 November 2013 (see the roadmap).

Important Changes

 * - In Special:AllPages, limit the size of hierarchical lists
 * - Support CIDR ranges in $wgSquidServersNoPurge
 * - Introduce WebRequest::getProtocol
 * - Mark Math-specific functions in core as deprecated
 * - Add ability to show the time taken by update.php
 * - Make it possible to install extensions using Composer