From 9350615e17918a88f1def73242a51ec8d968882f Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aaron@users.mediawiki.org>
Date: Tue, 26 Aug 2008 00:32:55 +0000
Subject: [PATCH] mark getOldIDFromRequest as public

---
 includes/Article.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/includes/Article.php b/includes/Article.php
index 19ede2cfb1..560c1d3067 100644
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -266,7 +266,7 @@ class Article {
 	 *
 	 * @return int The old id for the request
 	 */
-	function getOldIDFromRequest() {
+	public function getOldIDFromRequest() {
 		global $wgRequest;
 		$this->mRedirectUrl = false;
 		$oldid = $wgRequest->getVal( 'oldid' );
-- 
2.20.1