Reverted r108743 per CR comment. This should at least be discussed first.

[lhc/web/wiklou.git] / includes / Wiki.php

diff --git a/includes/Wiki.php b/includes/Wiki.php
index 8153eae..55ff89e 100644 (file)
--- a/includes/Wiki.php
+++ b/includes/Wiki.php
@@ -145,6 +145,8 @@ class MediaWiki {
         * - redirect loop
         * - special pages
         * - normal pages
+        *
+        * @return void
         */
        private function performRequest() {
                global $wgServer, $wgUsePathInfo, $wgTitle;