From ada950fd3e34f1ce83d8ce76a681bb5b709e4dc6 Mon Sep 17 00:00:00 2001
From: umherirrender <umherirrender_de.wp@web.de>
Date: Fri, 3 Oct 2014 21:05:29 +0200
Subject: [PATCH] Add comment for messages on
 'mediawiki.action.edit.editWarning'

In I43bf828654d342893a19656ddd4151c2558d2f63 the comment was added for
another usage.

Change-Id: I0510d069c6bc266d8d9e9a144daed2fc8dd7ebb9
---
 resources/Resources.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/Resources.php b/resources/Resources.php
index 4b3e356d95..4e7e9a5839 100644
--- a/resources/Resources.php
+++ b/resources/Resources.php
@@ -1087,6 +1087,7 @@ return array(
 		),
 		'messages' => array(
 			'editwarning-warning',
+			// editwarning-warning uses {{int:prefs-editing}}
 			'prefs-editing'
 		),
 	),
-- 
2.20.1