Skip to content

Commit

Permalink
Add new DarkVector skin, fixes #13
Browse files Browse the repository at this point in the history
  • Loading branch information
wiz committed Feb 26, 2020
1 parent e898dc0 commit 7450933
Show file tree
Hide file tree
Showing 51 changed files with 5,211 additions and 0 deletions.
14 changes: 14 additions & 0 deletions skins/DarkVector/DarkVector.php
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
<?php

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

0 comments on commit 7450933

Please sign in to comment.