wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-12-20 18:13:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

ResourceLoaderSchemaModule: Call parent getDefinitionSummary() method

Browse source 
This should've been the case already and will result in an exception
otherwise in MediaWiki core as of Ibb292d2416839.

Change-Id: I062a224662823224f3104d9e8d05abce47b1da81
This commit is contained in:
Timo Tijhof 2015-05-02 00:50:13 +01:00
parent 4c92cbc430
commit 19a6005668
2 changed files with 8 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
ResourceLoaderGeSHiLocalModule.php
View file

@ -26,12 +26,12 @@ class ResourceLoaderGeSHiLocalModule extends ResourceLoaderWikiModule {
*/ */
protected function getPages( ResourceLoaderContext $context ) { protected function getPages( ResourceLoaderContext $context ) {
global $wgUseSiteCss; global $wgUseSiteCss;
if ( $wgUseSiteCss ) { if ( !$wgUseSiteCss ) {
return array();
}
return array( return array(
'MediaWiki:Geshi.css' => array( 'type' => 'style' ), 'MediaWiki:Geshi.css' => array( 'type' => 'style' ),
); );
} else {
return array();
}
} }
} }

5
ResourceLoaderGeSHiModule.php
View file

@ -70,10 +70,11 @@ class ResourceLoaderGeSHiModule extends ResourceLoaderModule {
* @return array * @return array
*/ */
public function getDefinitionSummary( ResourceLoaderContext $context ) { public function getDefinitionSummary( ResourceLoaderContext $context ) {
return array( $summary = parent::getDefinitionSummary();
'class' => get_class( $this ), $summary[] = array(
'lang' => $this->lang, 'lang' => $this->lang,
'geshi' => GESHI_VERSION, 'geshi' => GESHI_VERSION,
); );
return $summary;
} }
} }