diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2014-12-27 15:41:37 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2014-12-31 11:43:28 +0100 |
commit | c1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch) | |
tree | 2b38796e738dd74cb42ecd9bfd151803108386bc /extensions/Vector/Vector.php | |
parent | b88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff) |
Update to MediaWiki 1.24.1
Diffstat (limited to 'extensions/Vector/Vector.php')
-rw-r--r-- | extensions/Vector/Vector.php | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/extensions/Vector/Vector.php b/extensions/Vector/Vector.php deleted file mode 100644 index 041d5c84..00000000 --- a/extensions/Vector/Vector.php +++ /dev/null @@ -1,6 +0,0 @@ -<?php -// The Vector extension has been discontinued and most of its -// functionality was moved into MediaWiki core. If you see this file, -// you should remove the extension from your MediaWiki installation. -// -// See: https://www.mediawiki.org/wiki/Extension:Vector |