Jump to content

Extension:WebDAV

From mediawiki.org
MediaWiki extensions manual
WebDAV
Release status: stable
Description WebDAV interface to MediaWiki articles
Author(s) Hallo Welt! GmbH, Robert Vogel (Hallo Welt! GmbH), Dejan Savuljesku (Hallo Welt! GmbH)
Latest version 3.1.0
MediaWiki >=1.31
Database changes Yes
License GNU General Public License 3.0 only
Download
  • $wgWebDAVUrlBaseUri
  • $wgWebDAVCredentialAuthProvider
  • $wgWebDAVBaseUri
  • $wgWebDAVSkipTalkNS
  • $wgWebDAVUserNameAsStaticToken
  • $wgWebDAVLockTimeOut
  • $wgWebDAVServer
  • $wgWebDAVNamespaceCollections
  • $wgWebDAVTokenExpiration
  • $wgWebDAVRootNode
  • $wgWebDAVStaticTokenExpiration
  • $wgWebDAVInvalidFileNameCharsRegEx
  • $wgWebDAVAuthType
  • $wgWebDAVInvalidateTokenOnUnlock
  • $wgWebDAVSkipNamespaces
Quarterly downloads 0
Translate the WebDAV extension if it is available at translatewiki.net
Issues Open tasks · Report a bug

WebDAV is a set of extensions to HTTP to support distributed authoring and versioning. It defines some request methods, message headers and XML message bodies which at their most basic, add metadata and locking to HTTP. Because it's based on HTTP and XML, it's quite easy to implement a WebDAV server in CGI or PHP. WebDAV maps very cleanly to file system primitives, so most modern operating systems support mounting WebDAV resources as file systems.

The Wikipedia:WebDAV article and the WebDAV home page describe WebDAV in more detail. WebDAV is formally defined in RFC 4918. The WebDAV versioning extension, DeltaV, is defined in RFC 3253.

Installation

  • Download and move the extracted WebDAV folder to your extensions/ directory.
    Developers and code contributors should install the extension from Git instead, using:cd extensions/
    git clone https://gerrit.wikimedia.org/r/mediawiki/extensions/WebDAV
  • Add the following code at the bottom of your LocalSettings.php file:
    wfLoadExtension( 'WebDAV' );
    
  • Copy or symlink webdav.php from the into your installation path.
  • By default Base URI ( $wgWebDAVBaseUri ) is set to $wgScriptPath/webdav, which requires Webserver to be configured in such a way to rewrite all request to this endpoint to $wgScriptPath/webdav.php.
  • Yes Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.