Make extension compatible with MediaWiki 1.35.
authorphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Sat, 12 Jun 2021 21:57:02 +0000 (21:57 +0000)
committerphilipp <philipp@7aebc617-e5e2-0310-91dc-80fb5f6d2477>
Sat, 12 Jun 2021 21:57:02 +0000 (21:57 +0000)
commit4a33da3e2be9451ee96d9de3f421bf22b0f948fa
tree0a077cb3339edb2bbbab69791f2fd88df32415f0
parent6ed9457451c3e85d3c964761f1444e4db627a315
Make extension compatible with MediaWiki 1.35.

git-svn-id: http://www.winterrodeln.org/svn/servermediawiki/mediawiki_extensions/wrvideo/trunk@2940 7aebc617-e5e2-0310-91dc-80fb5f6d2477
extension.json
wrvideo.body.php
wrvideo.php [deleted file]