Only query page_counter if $wgDisableCounters is false
authorReedy <reedy@wikimedia.org>
Tue, 17 Jul 2012 21:16:15 +0000 (22:16 +0100)
committerReedy <reedy@wikimedia.org>
Tue, 17 Jul 2012 21:21:38 +0000 (22:21 +0100)
commit9555ff9f9a51b5064a2af2afdf3a34fac08fa3ed
treea1672596f4e65c07dec4b06da9f32ab45ffccba8
parentef3132fb0d62567ea06d109139f68fef0d4cd90d
Only query page_counter if $wgDisableCounters is false

Change-Id: Ie134090cdd6573d11a7f5510e1d90dab9b06f117
includes/actions/InfoAction.php