From 183851b06bd6c52f3cae5375f433da720d410447 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Wed, 11 Oct 2006 18:12:39 +0000 Subject: MediaWiki 1.7.1 wiederhergestellt --- extensions/FunnyDot.php | 43 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 extensions/FunnyDot.php (limited to 'extensions/FunnyDot.php') diff --git a/extensions/FunnyDot.php b/extensions/FunnyDot.php new file mode 100644 index 00000000..81636bb4 --- /dev/null +++ b/extensions/FunnyDot.php @@ -0,0 +1,43 @@ + $wgAntiSpamTimeout) + { + return false; + } + elseif ($now - $time < $wgAntiSpamWait) + { + return false; + } + } + else + { + return false; + } + + return true; + } + +} # End invocation guard +?> \ No newline at end of file -- cgit v1.2.2