From a30810bc6853131247eb4e533296c98d523c962f Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Thu, 28 Jan 2010 19:46:12 +0000
Subject: [PATCH] Followup r61181, put @return nothing back on history(). Some
 people like it.

---
 includes/HistoryPage.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/HistoryPage.php b/includes/HistoryPage.php
index 63819ef62a..d41742d636 100644
--- 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;
-- 
2.20.1