* Message name filter on Special:Allmessages now case-insensitive

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index 5737b09..a1900ec 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -267,6 +267,7 @@ it from source control: http://www.mediawiki.org/wiki/Download_from_SVN
 * (bug 13546) Follow image redirects on image page
 * (bug 12644) Template list on edit page now sorted on preview
 * (bug 14058) Support pipe trick for namespaces and interwikis with "-"
+* Message name filter on Special:Allmessages now case-insensitive
 
 === API changes in 1.13 ===
 

diff --git a/skins/common/allmessages.js b/skins/common/allmessages.js
index d95a142..9f07a48 100644 (file)
--- a/skins/common/allmessages.js
+++ b/skins/common/allmessages.js
@@ -20,14 +20,14 @@ function allmessagesfilter_do() {
        if ( !allmessages_nodelist )
                return;
 
-       var text = document.getElementById('allmessagesinput').value;
+       var text = document.getElementById('allmessagesinput').value.toLowerCase();
        var nodef = allmessages_modified;
 
        allmessages_running = true;
 
        for ( var name in allmessages_nodelist ) {
                var nodes = allmessages_nodelist[name];
-               var display = ( name.indexOf( text ) == -1 ? 'none' : '' );
+               var display = ( name.toLowerCase().indexOf( text ) == -1 ? 'none' : '' );
 
                for ( var i = 0; i < nodes.length; i++)
                        nodes[i].style.display =
@@ -35,7 +35,7 @@ function allmessagesfilter_do() {
                                  ? 'none' : display );
        }
 
-       if ( text != document.getElementById('allmessagesinput').value ||
+       if ( text != document.getElementById('allmessagesinput').value.toLowerCase() ||
             nodef != allmessages_modified )
                allmessagesfilter_do();  // repeat