Extensions Docs Server: Large performance increase

chrome/common/extensions/docs/server2/file_system.py

Index: chrome/common/extensions/docs/server2/file_system.py
diff --git a/chrome/common/extensions/docs/server2/file_system.py b/chrome/common/extensions/docs/server2/file_system.py
index 6d3357b0ea6112fa8907ab89c0ad6bbb06e87a1b..fe849f7a25df07d9515399f0ade38b91c142d283 100644
--- a/chrome/common/extensions/docs/server2/file_system.py
+++ b/chrome/common/extensions/docs/server2/file_system.py
@@ -8,6 +8,13 @@ class FileNotFoundError(Exception):
   def __init__(self, filename):
     Exception.__init__(self, filename)
 
+class StatInfo(object):
+  """The result of calling Stat on a FileSystem.
+  """
+  def __init__(self, version, child_versions=None):
+    self.version = version
+    self.child_versions = child_versions
+
 def _ProcessFileData(data, path):
   if os.path.splitext(path)[-1] not in ['.js', '.html', '.json']:
     return data
@@ -19,12 +26,6 @@ def _ProcessFileData(data, path):
 class FileSystem(object):
   """A FileSystem interface that can read files and directories.
   """
-  class StatInfo(object):
-    """The result of calling Stat on a FileSystem.
-    """
-    def __init__(self, version, child_versions=None):
-      self.version = version
-      self.child_versions = child_versions
 
   def Read(self, paths, binary=False):
     """Reads each file in paths and returns a dictionary mapping the path to the