Add comment for messages on 'mediawiki.action.edit.editWarning'
authorumherirrender <umherirrender_de.wp@web.de>
Fri, 3 Oct 2014 19:05:29 +0000 (21:05 +0200)
committerumherirrender <umherirrender_de.wp@web.de>
Fri, 3 Oct 2014 19:05:29 +0000 (21:05 +0200)
In I43bf828654d342893a19656ddd4151c2558d2f63 the comment was added for
another usage.

Change-Id: I0510d069c6bc266d8d9e9a144daed2fc8dd7ebb9

resources/Resources.php

index 4b3e356..4e7e9a5 100644 (file)
@@ -1087,6 +1087,7 @@ return array(
                ),
                'messages' => array(
                        'editwarning-warning',
+                       // editwarning-warning uses {{int:prefs-editing}}
                        'prefs-editing'
                ),
        ),