From 65ce4873278105eb4c1fec3f05422bfd37f41572 Mon Sep 17 00:00:00 2001
From: Thibaut GRIDEL <tgridel@free.fr>
Date: Thu, 20 May 2010 00:41:25 +0200
Subject: [PATCH] webdav: fix getDir file attributes

---
 inc/HTTP/WebDAV/Server/Filesystem.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/inc/HTTP/WebDAV/Server/Filesystem.php b/inc/HTTP/WebDAV/Server/Filesystem.php
index 8e84288b3d0..1dc32a72126 100755
--- a/inc/HTTP/WebDAV/Server/Filesystem.php
+++ b/inc/HTTP/WebDAV/Server/Filesystem.php
@@ -290,8 +290,8 @@
                 $fullpath = $fspath."/".$filename;
                 $name     = htmlspecialchars($filename);
                 printf($format,
-                       number_format(filesize($fullpath)),
-                       strftime("%Y-%m-%d %H:%M:%S", filemtime($fullpath)),
+                       number_format(OC_FILESYSTEM::filesize($fullpath)),
+                       strftime("%Y-%m-%d %H:%M:%S", OC_FILESYSTEM::filemtime($fullpath)),
                        "<a href='$name'>$name</a>");
             }
         }
-- 
2.39.5