* Housekeeping:

[lhc/web/wiklou.git] / index.php

diff --git a/index.php b/index.php
index 6b4cab0..959fe7f 100644 (file)
--- a/index.php
+++ b/index.php
@@ -44,6 +44,13 @@ $mediaWiki = new MediaWiki();
 wfProfileIn( 'main-misc-setup' );
 OutputPage::setEncodings(); # Not really used yet
 
+$maxLag = $wgRequest->getVal( 'maxlag' );
+if ( !is_null( $maxLag ) ) {
+       if ( !$mediaWiki->checkMaxLag( $maxLag ) ) {
+               exit;
+       }
+}
+
 # Query string fields
 $action = $wgRequest->getVal( 'action', 'view' );
 $title = $wgRequest->getVal( 'title' );