From d9022f63880ce039446fba8364f68e656b7bf4cb Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 3 May 2012 13:01:35 +0200 Subject: Update to MediaWiki 1.19.0 --- includes/api/ApiFormatDbg.php | 5 ----- 1 file changed, 5 deletions(-) (limited to 'includes/api/ApiFormatDbg.php') diff --git a/includes/api/ApiFormatDbg.php b/includes/api/ApiFormatDbg.php index 32f223d7..92619f76 100644 --- a/includes/api/ApiFormatDbg.php +++ b/includes/api/ApiFormatDbg.php @@ -24,11 +24,6 @@ * @file */ -if ( !defined( 'MEDIAWIKI' ) ) { - // Eclipse helper - will be ignored in production - require_once( 'ApiFormatBase.php' ); -} - /** * API PHP's var_export() output formatter * @ingroup API -- cgit v1.2.3-54-g00ecf