Followup r61181, put @return nothing back on history(). Some people like it.

diff --git a/includes/HistoryPage.php b/includes/HistoryPage.php
index 63819ef..d41742d 100644 (file)
--- a/includes/HistoryPage.php
+++ b/includes/HistoryPage.php
@@ -58,6 +58,7 @@ class HistoryPage {
 
        /**
         * Print the history page for an article.
+        * @return nothing
         */
        function history() {
                global $wgOut, $wgRequest, $wgScript;