<?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
