diff options
| author | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-05-01 15:12:12 -0400 |
|---|---|---|
| committer | Luke Shumaker <lukeshu@sbcglobal.net> | 2016-05-01 15:12:12 -0400 |
| commit | c9aa36da061816dee256a979c2ff8d2ee41824d9 (patch) | |
| tree | 29f7002b80ee984b488bd047dbbd80b36bf892e9 /extensions/Vector/Vector.php | |
| parent | b4274e0e33eafb5e9ead9d949ebf031a9fb8363b (diff) | |
| parent | d1ba966140d7a60cd5ae4e8667ceb27c1a138592 (diff) | |
Merge branch 'archwiki'
# Conflicts:
# skins/ArchLinux.php
# skins/ArchLinux/archlogo.gif
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 |