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

Source/devtools/front_end/workspace/SearchConfig.js

Index: Source/devtools/front_end/workspace/SearchConfig.js
diff --git a/Source/devtools/front_end/workspace/SearchConfig.js b/Source/devtools/front_end/workspace/SearchConfig.js
index b8a6a3668f179b939ffbcc912b6096852b803704..70ac7d677e6bd62a980a90eeba6d34244d6b84e9 100644
--- a/Source/devtools/front_end/workspace/SearchConfig.js
+++ b/Source/devtools/front_end/workspace/SearchConfig.js
@@ -64,11 +64,11 @@ WebInspector.SearchConfig.prototype = {
 
     _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 + ")";
@@ -146,7 +146,7 @@ WebInspector.SearchConfig.prototype = {
      */
     _parseFileQuery: function(query)
     {
-        var match = query.match(/^(-)?file:/);
+        var match = query.match(/^(-)?f(ile)?:/);
         if (!match)
             return null;
         var isNegative = !!match[1];