philipp/winterrodeln/mediawiki_extensions/wrvideo.git
2021-06-22 Philipp SpitzerUpdate extension.json to version 2 with "updateExtensio... master
2021-06-12 philippMake extension compatible with MediaWiki 1.35.
2021-06-12 philippAdded extension.json created by convertExtensionToRegis...
2014-09-02 philippImplemented first version of <wrvideo> tag based on...
2014-09-02 philippCreated branches, tags and trunk directories.