From 888eab1a076a287bddd84fdf9dd9c57154c91e3f Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 27 Nov 2014 06:08:05 +0100
Subject: Update to MediaWiki 1.22.14

---
 extensions/Vector/Vector.php | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 extensions/Vector/Vector.php

(limited to 'extensions/Vector/Vector.php')

diff --git a/extensions/Vector/Vector.php b/extensions/Vector/Vector.php
new file mode 100644
index 00000000..041d5c84
--- /dev/null
+++ b/extensions/Vector/Vector.php
@@ -0,0 +1,6 @@
+<?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
-- 
cgit v1.2.2