always use '/' as directory seperator

diff --git a/apps/files_encryption/lib/keymanager.php b/apps/files_encryption/lib/keymanager.php
index 28cd9e52f91968a9817b3ca0933ac266f4da8df0..07ac1a7bd592b6938579f1421bd8a33672a9bc26 100755 (executable)
--- a/apps/files_encryption/lib/keymanager.php
+++ b/apps/files_encryption/lib/keymanager.php
@@ -527,7 +527,7 @@ class Keymanager {
                        isset($path_parts['dirname'])
                        && !$view->file_exists($basePath . '/' . $path_parts['dirname'])
                ) {
-                       $sub_dirs = explode(DIRECTORY_SEPARATOR, $basePath . '/' . $path_parts['dirname']);
+                       $sub_dirs = explode('/', $basePath . '/' . $path_parts['dirname']);
                        $dir = '';
                        foreach ($sub_dirs as $sub_dir) {
                                $dir .= '/' . $sub_dir;