From 5075cad455220c6194338681a7473f358d58c8fa Mon Sep 17 00:00:00 2001
From: matejsuchanek <matejsuchanek97@gmail.com>
Date: Wed, 27 Jan 2016 13:10:23 +0100
Subject: [PATCH] Add help link to the top of history pages

It links to https://meta.wikimedia.org/wiki/Special:MyLanguage/Help:Page_history
but the target can be changed locally by creating
"MediaWiki:History-helppage".

Bug: T124885
Change-Id: Iffd396ea9dfb5216fa65ed9780f3c788fde4a3e5
---
 includes/actions/HistoryAction.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/includes/actions/HistoryAction.php b/includes/actions/HistoryAction.php
index ca47fcec19..43260d0d12 100644
--- a/includes/actions/HistoryAction.php
+++ b/includes/actions/HistoryAction.php
@@ -132,6 +132,8 @@ class HistoryAction extends FormlessAction {
 			return;
 		}
 
+		$this->addHelpLink( '//meta.wikimedia.org/wiki/Special:MyLanguage/Help:Page_history', true );
+
 		// Fail nicely if article doesn't exist.
 		if ( !$this->page->exists() ) {
 			$out->addWikiMsg( 'nohistory' );
-- 
2.20.1