DevTools: Support f: style file filters in search as well as file:

Source/devtools/front_end/workspace/SearchConfig.js

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 /**
  * @constructor
  * @implements {WebInspector.ProjectSearchConfig}
  * @param {string} query
  * @param {boolean} ignoreCase
  * @param {boolean} isRegex
@@ skipping 46 matching lines @@
     /**
      * @return {{query: string, ignoreCase: boolean, isRegex: boolean}}
      */
     toPlainObject: function()
     {
         return { query: this.query(), ignoreCase: this.ignoreCase(), isRegex: this.isRegex() };
     },
 
     _parse: function()
     {
-        var filePattern = "-?file:(([^\\\\ ]|\\\\.)+)"; // After file: prefix: any symbol except space and backslash or any symbol escaped with a backslash.
+        var filePattern = "-?f(ile)?:(([^\\\\ ]|\\\\.)+)"; // After file: prefix: any symbol except space and backslash or any symbol escaped with a backslash.
         var quotedPattern = "\"(([^\\\\\"]|\\\\.)+)\""; // Inside double quotes: any symbol except double quote and backslash or any symbol escaped with a backslash.
 
         // A word is a sequence of any symbols except space and backslash or any symbols escaped with a backslash, that does not start with file:.
-        var unquotedWordPattern = "((?!-?file:)[^\\\\ ]|\\\\.)+";
+        var unquotedWordPattern = "((?!-?f(ile)?:)[^\\\\ ]|\\\\.)+";
         var unquotedPattern = unquotedWordPattern + "( +" + unquotedWordPattern + ")*"; // A word or several words separated by space(s).
 
         var pattern = "(" + filePattern + ")|(" + quotedPattern + ")|(" + unquotedPattern + ")";
         var regexp = new RegExp(pattern, "g");
         var queryParts = this._query.match(regexp) || [];
 
         /**
          * @type {!Array.<!WebInspector.SearchConfig.QueryTerm>}
          */
         this._fileQueries = [];
@@ skipping 57 matching lines @@
     {
         return query.substring(1, query.length - 1).replace(/\\(.)/g, "$1");
     },
 
     /**
      * @param {string} query
      * @return {?WebInspector.SearchConfig.QueryTerm}
      */
     _parseFileQuery: function(query)
     {
-        var match = query.match(/^(-)?file:/);
+        var match = query.match(/^(-)?f(ile)?:/);
         if (!match)
             return null;
         var isNegative = !!match[1];
         query = query.substr(match[0].length);
         var result = "";
         for (var i = 0; i < query.length; ++i) {
             var char = query[i];
             if (char === "*") {
                 result += ".*";
             } else if (char === "\\") {
@@ skipping 14 matching lines @@
 /**
  * @constructor
  * @param {string} text
  * @param {boolean} isNegative
  */
 WebInspector.SearchConfig.QueryTerm = function(text, isNegative)
 {
     this.text = text;
     this.isNegative = isNegative;
 }