From 1ed1cf9d868f48ccf791aa17fabf253b2307a6a8 Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Thu, 9 Jun 2011 21:17:41 +0000
Subject: [PATCH] Marked Article::doRedirect() as deprecated, was used by
 Article::insertNewArticle() and Article::updateArticle() that were removed.
 No usage left in core or extensions.

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

diff --git a/includes/Article.php b/includes/Article.php
index c2ad333ef4..f25d365dfa 100644
--- a/includes/Article.php
+++ b/includes/Article.php
@@ -2303,11 +2303,13 @@ class Article {
 	 * Output a redirect back to the article.
 	 * This is typically used after an edit.
 	 *
+	 * @deprecated in 1.19; call $wgOut->redirect() directly
 	 * @param $noRedir Boolean: add redirect=no
 	 * @param $sectionAnchor String: section to redirect to, including "#"
 	 * @param $extraQuery String: extra query params
 	 */
 	public function doRedirect( $noRedir = false, $sectionAnchor = '', $extraQuery = '' ) {
+		wfDeprecated( __METHOD__ );
 		global $wgOut;
 
 		if ( $noRedir ) {
-- 
2.20.1