From 2a25f73fc5443b1f4d00d480ab04a99b31da8feb Mon Sep 17 00:00:00 2001
From: Jakob Warkotsch <j.warkotsch@gmail.com>
Date: Thu, 18 Aug 2016 15:26:54 +0200
Subject: [PATCH] Remove unused message.

Change-Id: I3a266e1576aeec50c618568d7a05ab3ad29d39f1
---
 extension.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/extension.json b/extension.json
index beed6127..6f2ed71c 100644
--- a/extension.json
+++ b/extension.json
@@ -42,7 +42,6 @@
 				"mediawiki.api.options"
 			],
 			"messages": [
-				"revisionslider-show-help",
 				"revisionslider-show-help-tooltip",
 				"revisionslider-loading-failed",
 				"revisionslider-toggle-title-expand",