From 223dee07526dc46b9965ee35b79a122a91787900 Mon Sep 17 00:00:00 2001
From: WMDE-Fisch <christoph.jauera@wikimedia.de>
Date: Mon, 24 Jul 2017 18:58:18 +0200
Subject: [PATCH] Add doc for showEditTools method

Change-Id: Ic6931ed6cdecb7b42e2c47b7c8b34b6d1d23be13
---
 includes/EditPage.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/includes/EditPage.php b/includes/EditPage.php
index e3b7a10b7b..229a36a26e 100644
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -3492,6 +3492,10 @@ HTML
 		}
 	}
 
+	/**
+	 * Inserts optional text shown below edit and upload forms. Can be used to offer special characters not present on
+	 * most keyboards for copying/pasting.
+	 */
 	protected function showEditTools() {
 		global $wgOut;
 		$wgOut->addHTML( '<div class="mw-editTools">' .
-- 
2.20.1