diff options
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 |