From 893ee310c60a80fba3431245fb4f8f28bd956c25 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Niklas=20Laxstr=C3=B6m?= Date: Sat, 13 Oct 2007 11:40:42 +0000 Subject: [PATCH] * Removing some globals that seem unused --- includes/GlobalFunctions.php | 19 ------------------- 1 file changed, 19 deletions(-) diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php index 38f07536e9..52b07d494f 100644 --- a/includes/GlobalFunctions.php +++ b/includes/GlobalFunctions.php @@ -8,20 +8,6 @@ if ( !defined( 'MEDIAWIKI' ) ) { * Global functions used everywhere */ -/** - * Some globals and requires needed - */ - -/** Total number of articles */ -$wgNumberOfArticles = -1; # Unset - -/** Total number of views */ -$wgTotalViews = -1; - -/** Total number of edits */ -$wgTotalEdits = -1; - - require_once dirname(__FILE__) . '/LogPage.php'; require_once dirname(__FILE__) . '/normal/UtfNormalUtil.php'; require_once dirname(__FILE__) . '/XmlFunctions.php'; @@ -111,11 +97,6 @@ function wfClone( $object ) { return clone( $object ); } -/** - * Where as we got a random seed - */ -$wgRandomSeeded = false; - /** * Seed Mersenne Twister * No-op for compatibility; only necessary in PHP < 4.2.0 -- 2.20.1