From 8217e2658e4b2083677088e8a206778de2b03816 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Sat, 21 Jan 2012 16:45:32 +0000
Subject: [PATCH] Fix database table name, it is 'profiling', not 'profileinfo'

---
 profileinfo.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/profileinfo.php b/profileinfo.php
index 37e7a04a8e..1549349bfd 100644
--- a/profileinfo.php
+++ b/profileinfo.php
@@ -80,8 +80,8 @@ if ( !$wgEnableProfileInfo ) {
 
 $dbr = wfGetDB( DB_SLAVE );
 
-if( !$dbr->tableExists( 'profileinfo' ) ) {
-	echo "<p>No 'profileinfo' table exists, so we can't show you anything.</p>\n";
+if( !$dbr->tableExists( 'profiling' ) ) {
+	echo "<p>No 'profiling' table exists, so we can't show you anything.</p>\n";
 	echo "<p>If you want to log profiling data, create the table using "
 		. "<tt>maintenance/archives/patch-profiling.sql</tt> and enable "
 		. "<tt>\$wgProfileToDatabase</tt>.</p>\n";
-- 
2.20.1