From aa3cfbb54da822b0ee753b9872db722193f1e8d3 Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Fri, 22 Aug 2008 02:01:31 +0000
Subject: [PATCH] Remove unused global.

---
 includes/OutputPage.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index f46524e819..27f36983ee 100644
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -766,7 +766,7 @@ class OutputPage {
 	public function output() {
 		global $wgUser, $wgOutputEncoding, $wgRequest;
 		global $wgContLanguageCode, $wgDebugRedirects, $wgMimeType;
-		global $wgJsMimeType, $wgUseAjax, $wgAjaxSearch, $wgAjaxWatch;
+		global $wgJsMimeType, $wgUseAjax, $wgAjaxWatch;
 		global $wgEnableMWSuggest;
 
 		if( $this->mDoNothing ){
-- 
2.20.1