From d9022f63880ce039446fba8364f68e656b7bf4cb Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 3 May 2012 13:01:35 +0200
Subject: Update to MediaWiki 1.19.0

---
 includes/api/ApiFormatPhp.php | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'includes/api/ApiFormatPhp.php')

diff --git a/includes/api/ApiFormatPhp.php b/includes/api/ApiFormatPhp.php
index cfcc2a03..60552c40 100644
--- a/includes/api/ApiFormatPhp.php
+++ b/includes/api/ApiFormatPhp.php
@@ -24,11 +24,6 @@
  * @file
  */
 
-if ( !defined( 'MEDIAWIKI' ) ) {
-	// Eclipse helper - will be ignored in production
-	require_once( 'ApiFormatBase.php' );
-}
-
 /**
  * API Serialized PHP output formatter
  * @ingroup API
-- 
cgit v1.2.2