require_once( "$IP/extensions/WikiEditor/WikiEditor.php" );
require_once ( dirname( __FILE__ ) . "/extensions/Cite/Cite.php" );
require_once "$IP/skins/CologneBlue/CologneBlue.php";
require_once "$IP/skins/Modern/Modern.php";
require_once "$IP/skins/Timeless/SkinTimeless.php";
require_once "$IP/skins/MonoBook/MonoBook.php";
require_once "$IP/skins/Vector/Vector.php";

$ ls /usr/share/webapps/mediawiki/skins/Vector/ | grep Vektor.php
$