<commit_before><?php
/**
 * Bootstrap MediaWiki
 *
 * @bootstrap-mediawiki.php
 * @ingroup Skins
 * @author <NAME> (http://borkweb.com)
 * @license http://www.gnu.org/copyleft/gpl.html GNU General Public License 2.0 or later
 */
if ( ! defined( 'MEDIAWIKI' ) ) die( "This is an extension to the MediaWiki package and cannot be run standalone." );
$wgExtensionCredits['skin'][] = array(
	'path'        => __FILE__,
	'name'        => 'Bootstrap Mediawiki',
	'url'         => 'http://borkweb.com',
	'author'      => '[http://borkweb.com <NAME>]',
	'description' => 'MediaWiki skin using Bootstrap 3',
);
$wgValidSkinNames['bootstrapmediawiki'] = 'BootstrapMediaWiki';
$wgAutoloadClasses['SkinBootstrapMediaWiki'] = __DIR__ . '/BootstrapMediaWiki.skin.php';
$wgAutoloadClasses['BootstrapMediawikiHooks'] = __DIR__ . '/BootstrapMediawikiHooks.php';
$wgMessagesDirs['bootstrapmediawiki'] = __DIR__ . '/i18n';
$skinDirParts = explode( DIRECTORY_SEPARATOR, __DIR__ );
$skinDir = array_pop( $skinDirParts );
$src = '/var/www/src';
$wgResourceModules['skins.bootstrapmediawiki.top'] = array(
	'styles' => array(
		$skinDir . '/bootstrap/css/bootstrap.min.css'            => array( 'media' => 'all' ),
		$skinDir . '/google-code-prettify/prettify.css'          => array( 'media' => 'all' ),
		$skinDir . '/style.css'                                  => array( 'media' => 'all' ),
		$skinDir . '/default_theme.less'                         => array( 'media' => 'all' ),
		$skinDir . '/style.less'                                 => array( 'media' => 'all' ),
		$skinDir . '/css/huiji.ext.css'                          => array( 'media' => 'all' ),
	),
	'scripts' => array(
		$skinDir . '/bootstrap/js/bootstrap.js',
		$skinDir . '/google-code-prettify/prettify.js',
		$skinDir . '/js/jquery.cookie.js',
		$skinDir . '/js/jquery.ba-dotimeout.min.js',
		$skinDir . '/js/huiji.preload.js',
	),
	'dependencies' => array(
	),
	'remoteBasePath' => &$GLOBALS['wgStylePath'],
	'localBasePath'  => &$GLOBALS['wgStyleDirectory'],
	'position' => 'top',
);
$wgResourceModules['skins.bootstrapmediawiki.bottom'] = array(
	'scripts' => array(
		$skinDir . '/js/huiji.flow.js',
		$skinDir . '/js/huiji.ready.js'
	),
	'styles' => array(
		$skinDir . '/css/huiji.ready.css'                                  => array( 'media' => 'all' ),
	),
	'dependencies' => array(
		'mediawiki.cookie',
	),
	'remoteBasePath' => &$GLOBALS['wgStylePath'],
	'localBasePath'  => &$GLOBALS['wgStyleDirectory'],
	'position' => 'bottom',	
);
$wgResourceModules['skins.frontpage'] = array(
	'styles' => array(
		$skinDir . '/css/style.css'         					 => array( 'media' => 'all' ),
		$skinDir . '/css/slicebox.css'                           => array( 'media' => 'all' ),
	),
	'scripts' => array(
		$skinDir . '/js/modernizr.custom.46884.js',
		$skinDir . '/js/jquery.lazyload.min.js',
		$skinDir . '/js/jquery.slicebox.js',
		$skinDir . '/js/effect.js',
	),
	'remoteBasePath' => &$GLOBALS['wgStylePath'],
	'localBasePath'  => &$GLOBALS['wgStyleDirectory'],
	'position' => 'top',
);
if ( isset( $wgSiteJS ) ) {
	$wgResourceModules['skins.bootstrapmediawiki']['scripts'][] = $skinDir . '/' . $wgSiteJS;
}//end if
if ( isset( $wgSiteCSS ) ) {
	$wgResourceModules['skins.bootstrapmediawiki']['styles'][] = $skinDir . '/' . $wgSiteCSS;
}//end if

// update page's cache
$wgHooks['NewRevisionFromEditComplete'][] = 'BootstrapMediawikiHooks::onNewRevisionFromEditComplete';
// add site notice to the bottom of skin
require_once '$SP/skins/bootstrap-mediawiki/wgSiteNotice.php';



<commit_msg>use double quotation mark instead of single<commit_after><?php
/**
 * Bootstrap MediaWiki
 *
 * @bootstrap-mediawiki.php
 * @ingroup Skins
 * @author <NAME> (http://borkweb.com)
 * @license http://www.gnu.org/copyleft/gpl.html GNU General Public License 2.0 or later
 */
if ( ! defined( 'MEDIAWIKI' ) ) die( "This is an extension to the MediaWiki package and cannot be run standalone." );
$wgExtensionCredits['skin'][] = array(
	'path'        => __FILE__,
	'name'        => 'Bootstrap Mediawiki',
	'url'         => 'http://borkweb.com',
	'author'      => '[http://borkweb.com <NAME>]',
	'description' => 'MediaWiki skin using Bootstrap 3',
);
$wgValidSkinNames['bootstrapmediawiki'] = 'BootstrapMediaWiki';
$wgAutoloadClasses['SkinBootstrapMediaWiki'] = __DIR__ . '/BootstrapMediaWiki.skin.php';
$wgAutoloadClasses['BootstrapMediawikiHooks'] = __DIR__ . '/BootstrapMediawikiHooks.php';
$wgMessagesDirs['bootstrapmediawiki'] = __DIR__ . '/i18n';
$skinDirParts = explode( DIRECTORY_SEPARATOR, __DIR__ );
$skinDir = array_pop( $skinDirParts );
$src = '/var/www/src';
$wgResourceModules['skins.bootstrapmediawiki.top'] = array(
	'styles' => array(
		$skinDir . '/bootstrap/css/bootstrap.min.css'            => array( 'media' => 'all' ),
		$skinDir . '/google-code-prettify/prettify.css'          => array( 'media' => 'all' ),
		$skinDir . '/style.css'                                  => array( 'media' => 'all' ),
		$skinDir . '/default_theme.less'                         => array( 'media' => 'all' ),
		$skinDir . '/style.less'                                 => array( 'media' => 'all' ),
		$skinDir . '/css/huiji.ext.css'                          => array( 'media' => 'all' ),
	),
	'scripts' => array(
		$skinDir . '/bootstrap/js/bootstrap.js',
		$skinDir . '/google-code-prettify/prettify.js',
		$skinDir . '/js/jquery.cookie.js',
		$skinDir . '/js/jquery.ba-dotimeout.min.js',
		$skinDir . '/js/huiji.preload.js',
	),
	'dependencies' => array(
	),
	'remoteBasePath' => &$GLOBALS['wgStylePath'],
	'localBasePath'  => &$GLOBALS['wgStyleDirectory'],
	'position' => 'top',
);
$wgResourceModules['skins.bootstrapmediawiki.bottom'] = array(
	'scripts' => array(
		$skinDir . '/js/huiji.flow.js',
		$skinDir . '/js/huiji.ready.js'
	),
	'styles' => array(
		$skinDir . '/css/huiji.ready.css'                                  => array( 'media' => 'all' ),
	),
	'dependencies' => array(
		'mediawiki.cookie',
	),
	'remoteBasePath' => &$GLOBALS['wgStylePath'],
	'localBasePath'  => &$GLOBALS['wgStyleDirectory'],
	'position' => 'bottom',	
);
$wgResourceModules['skins.frontpage'] = array(
	'styles' => array(
		$skinDir . '/css/style.css'         					 => array( 'media' => 'all' ),
		$skinDir . '/css/slicebox.css'                           => array( 'media' => 'all' ),
	),
	'scripts' => array(
		$skinDir . '/js/modernizr.custom.46884.js',
		$skinDir . '/js/jquery.lazyload.min.js',
		$skinDir . '/js/jquery.slicebox.js',
		$skinDir . '/js/effect.js',
	),
	'remoteBasePath' => &$GLOBALS['wgStylePath'],
	'localBasePath'  => &$GLOBALS['wgStyleDirectory'],
	'position' => 'top',
);
if ( isset( $wgSiteJS ) ) {
	$wgResourceModules['skins.bootstrapmediawiki']['scripts'][] = $skinDir . '/' . $wgSiteJS;
}//end if
if ( isset( $wgSiteCSS ) ) {
	$wgResourceModules['skins.bootstrapmediawiki']['styles'][] = $skinDir . '/' . $wgSiteCSS;
}//end if

// update page's cache
$wgHooks['NewRevisionFromEditComplete'][] = 'BootstrapMediawikiHooks::onNewRevisionFromEditComplete';
// add site notice to the bottom of skin
require_once "$SP/skins/bootstrap-mediawiki/wgSiteNotice.php";




{'fraction_non_alphanumeric': 0.19876126126126126, 'fraction_numerical': 0.002815315315315315, 'mean_word_length': 3.2982456140350878, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 87, 'https://': 0, 'lorem ipsum': 0, 'www.': 4, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 6, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '81203', 'n_tokens_mistral': 2620, 'n_tokens_neox': 2493, 'n_words': 432}