Remove php entry point

Bug: T140007
Change-Id: I12de8991f37aee9684734f5ccf672173f0a9e93f
This commit is contained in:
Reedy 2018-09-13 00:05:57 +01:00
parent e793f66b2c
commit 4e6a38954c
1 changed files with 0 additions and 14 deletions

View File

@ -1,14 +0,0 @@
<?php
if ( function_exists( 'wfLoadSkin' ) ) {
wfLoadSkin( 'Vector' );
// Keep i18n globals so mergeMessageFileList.php doesn't break
$wgMessagesDirs['Vector'] = __DIR__ . '/i18n';
/* wfWarn(
'Deprecated PHP entry point used for Vector skin. Please use wfLoadSkin instead, ' .
'see https://www.mediawiki.org/wiki/Extension_registration for more details.'
); */
return true;
} else {
die( 'This version of the Vector skin requires MediaWiki 1.25+' );
}