From cecb985bee3bdd252e1b8dc0bd500b37cd52be01 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Wed, 16 May 2007 20:58:53 +0000 Subject: Aktualisierung auf MediaWiki 1.10.0 Plugins angepasst und verbessert kleine Korrekturen am Design --- index.php | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) (limited to 'index.php') diff --git a/index.php b/index.php index e3b753fa..959fe7ff 100644 --- a/index.php +++ b/index.php @@ -1,5 +1,39 @@ getVal( 'maxlag' ); +if ( !is_null( $maxLag ) ) { + if ( !$mediaWiki->checkMaxLag( $maxLag ) ) { + exit; + } +} + # Query string fields $action = $wgRequest->getVal( 'action', 'view' ); $title = $wgRequest->getVal( 'title' ); -- cgit v1.2.3