Package mediawiki-extensions-WebDAV: Files
Permissions | Path | Size | Date |
|---|---|---|---|
| -rw-r--r-- | /usr/share/mediawiki/WebDavServer.php | 25.6 KB | Feb 2, 2010, 07:35 AM |
| -rw-r--r-- | /usr/share/mediawiki/deltav.php | 1.8 KB | Feb 2, 2010, 07:35 AM |
| drwxr-xr-x | /usr/share/mediawiki/lib | 60.0 B | Feb 2, 2010, 07:35 AM |
| drwxr-xr-x | /usr/share/mediawiki/lib/HTTP | 60.0 B | Feb 2, 2010, 07:35 AM |
| drwxr-xr-x | /usr/share/mediawiki/lib/HTTP/WebDAV | 60.0 B | Feb 2, 2010, 07:35 AM |
| -rw-r--r-- | /usr/share/mediawiki/lib/HTTP/WebDAV/Server.php | 91.5 KB | Feb 2, 2010, 07:35 AM |
| -rw-r--r-- | /usr/share/mediawiki/webdav.php | 1.8 KB | Feb 2, 2010, 07:35 AM |