MediaWiki extension WebDAVMinorSave

Clone this repo: