Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Index: SyntaxHighlight_GeSHi.php
- ===================================================================
- --- SyntaxHighlight_GeSHi.php (revision 103698)
- +++ SyntaxHighlight_GeSHi.php (working copy)
- @@ -58,6 +58,7 @@
- if ( version_compare( $wgVersion, '1.17alpha', '>=' ) ) {
- // For MediaWiki 1.17 alpha and later.
- $wgHooks['ExtensionTypes'][] = 'SyntaxHighlight_GeSHi::hSpecialVersion_GeSHi';
- + $wgAutoloadClasses['HighlightGeSHiLocal'] = $dir . 'SyntaxHighlightGeSHi.local.php';
- } else {
- // For pre-MediaWiki 1.17 alpha.
- $wgHooks['SpecialVersionExtensionTypes'][] = 'SyntaxHighlight_GeSHi::hOldSpecialVersion_GeSHi';
- Index: SyntaxHighlight_GeSHi.local.php
- ===================================================================
- --- SyntaxHighlight_GeSHi.local.php (revision 0)
- +++ SyntaxHighlight_GeSHi.local.php (revision 0)
- @@ -0,0 +1,16 @@
- +<?php
- +/**
- + * Custom ResourceLoader module that loads a Geshi.css per-wiki.
- + */
- +class HighlightGeSHilocal extends ResourceLoaderWikiModule {
- +
- + /**
- + * @param $context ResourceLoaderContext
- + * @return array
- + */
- + protected function getPages( ResourceLoaderContext $context ) {
- + return array(
- + 'MediaWiki:Geshi.css' => array( 'type' => 'text' ),
- + );
- + }
- +}
- Index: SyntaxHighlight_GeSHi.php
- ===================================================================
- --- SyntaxHighlight_GeSHi.php (revision 103698)
- +++ SyntaxHighlight_GeSHi.php (working copy)
- @@ -58,6 +58,7 @@
- if ( version_compare( $wgVersion, '1.17alpha', '>=' ) ) {
- // For MediaWiki 1.17 alpha and later.
- $wgHooks['ExtensionTypes'][] = 'SyntaxHighlight_GeSHi::hSpecialVersion_GeSHi';
- + $wgAutoloadClasses['HighlightGeSHiLocal'] = $dir . 'SyntaxHighlightGeSHi.local.php';
- } else {
- // For pre-MediaWiki 1.17 alpha.
- $wgHooks['SpecialVersionExtensionTypes'][] = 'SyntaxHighlight_GeSHi::hOldSpecialVersion_GeSHi';
- Index: SyntaxHighlight_GeSHi.class.php
- ===================================================================
- --- SyntaxHighlight_GeSHi.class.php (revision 103698)
- +++ SyntaxHighlight_GeSHi.class.php (working copy)
- @@ -280,12 +280,7 @@
- $css[] = '/*]]>*/';
- $css[] = '</style>';
- if( $wgUseSiteCss ) {
- - $title = Title::makeTitle( NS_MEDIAWIKI, 'Geshi.css' );
- - $q = "usemsgcache=yes&action=raw&ctype=text/css&smaxage={$wgSquidMaxage}";
- - $css[] = '<style type="text/css">/*<![CDATA[*/';
- - $css[] = '@import "' . $title->getLocalUrl( $q ) . '";';
- - $css[] = '/*]]>*/';
- - $css[] = '</style>';
- + $out->addModuleStyles ( 'ext.geshi.local' );
- }
- return implode( "\n", $css );
- }
- Index: SyntaxHighlight_GeSHi.local.php
- ===================================================================
- --- SyntaxHighlight_GeSHi.local.php (revision 0)
- +++ SyntaxHighlight_GeSHi.local.php (revision 0)
- @@ -0,0 +1,16 @@
- +<?php
- +/**
- + * Custom ResourceLoader module that loads a Geshi.css per-wiki.
- + */
- +class HighlightGeSHilocal extends ResourceLoaderWikiModule {
- +
- + /**
- + * @param $context ResourceLoaderContext
- + * @return array
- + */
- + protected function getPages( ResourceLoaderContext $context ) {
- + return array(
- + 'MediaWiki:Geshi.css' => array( 'type' => 'text' ),
- + );
- + }
- +}
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement