| 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 af8c5018459a14909aa963223a9a3cf1667f20f5..34133d6f834ec460c2ca9b67fcae7ff81e433ddb 100644
|
| --- a/chrome/common/extensions/docs/server2/file_system.py
|
| +++ b/chrome/common/extensions/docs/server2/file_system.py
|
| @@ -18,6 +18,11 @@ class FileSystem(object):
|
| """
|
| raise NotImplementedError()
|
|
|
| + def ReadSingle(self, path):
|
| + """Reads a single file from the FileSystem.
|
| + """
|
| + return self.Read([path]).Get()[path]
|
| +
|
| def Stat(self, path):
|
| """Gets the version number of |path| if it is a directory, or the parent
|
| directory if it is a file.
|
|
|