From bd34f36dfc9b59ecadc78e2cfb25c08154800dac Mon Sep 17 00:00:00 2001
From: Platonides <platonides@gmail.com>
Date: Sat, 23 Nov 2013 18:41:59 +0100
Subject: [PATCH] Use the class name with capital letter

Change-Id: I97577cb085a47d58fd3de96ab77da68ebe482d6a
---
 maintenance/language/StatOutputs.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/maintenance/language/StatOutputs.php b/maintenance/language/StatOutputs.php
index 4e845f1336..f9390f6fdf 100644
--- a/maintenance/language/StatOutputs.php
+++ b/maintenance/language/StatOutputs.php
@@ -50,7 +50,7 @@ class StatsOutput {
 }
 
 /** Outputs WikiText */
-class WikiStatsOutput extends statsOutput {
+class WikiStatsOutput extends StatsOutput {
 	function heading() {
 		global $wgDummyLanguageCodes;
 		$version = SpecialVersion::getVersion( 'nodb' );
@@ -123,7 +123,7 @@ class WikiStatsOutput extends statsOutput {
 }
 
 /** Output text. To be used on a terminal for example. */
-class TextStatsOutput extends statsOutput {
+class TextStatsOutput extends StatsOutput {
 	function element( $in, $heading = false ) {
 		echo $in . "\t";
 	}
@@ -134,7 +134,7 @@ class TextStatsOutput extends statsOutput {
 }
 
 /** csv output. Some people love excel */
-class CsvStatsOutput extends statsOutput {
+class CsvStatsOutput extends StatsOutput {
 	function element( $in, $heading = false ) {
 		echo $in . ";";
 	}
-- 
2.20.1