filter usernames case-insensitive in user manager

darcs-hash:20080213194342-79ce3-e05ea08fd276d0d841863878d614412aeaf2e305.gz

inc/auth/plain.class.php

@@ -310,8 +310,8 @@ class auth_plain extends auth_basic {
     function _constructPattern($filter) {
       $this->_pattern = array();
       foreach ($filter as $item => $pattern) {
-//        $this->_pattern[$item] = '/'.preg_quote($pattern,"/").'/';          // don't allow regex characters
-        $this->_pattern[$item] = '/'.str_replace('/','\/',$pattern).'/';    // allow regex characters
+//        $this->_pattern[$item] = '/'.preg_quote($pattern,"/").'/i';          // don't allow regex characters
+        $this->_pattern[$item] = '/'.str_replace('/','\/',$pattern).'/i';    // allow regex characters
       }
     }
 }