SHARE
TWEET

Untitled

a guest Jan 19th, 2019 58 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. require_once( "$IP/extensions/WikiEditor/WikiEditor.php" );
  2. require_once ( dirname( __FILE__ ) . "/extensions/Cite/Cite.php" );
  3. require_once "$IP/skins/CologneBlue/CologneBlue.php";
  4. require_once "$IP/skins/Modern/Modern.php";
  5. require_once "$IP/skins/Timeless/SkinTimeless.php";
  6. require_once "$IP/skins/MonoBook/MonoBook.php";
  7. require_once "$IP/skins/Vector/Vector.php";
  8.    
  9. $ ls /usr/share/webapps/mediawiki/skins/Vector/ | grep Vektor.php
  10. $
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top