wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-15 03:23:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Adapt Gadgets to changes in r81692

Browse source
This commit is contained in:
Max Semenik 2011-02-20 18:14:38 +00:00
parent 0de7dda2c3
commit 10fc73e2a4
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
Gadgets_body.php
View file

@ -314,11 +314,11 @@ class Gadget {
public function getModule() {
$pages = array();
foreach( $this->styles as $style ) {
$pages[$style] = array( 'ns' => NS_MEDIAWIKI, 'type' => 'style' );
$pages['MediaWiki:' . $style] = array( 'type' => 'style' );
}
if ( $this->supportsResourceLoader() ) {
foreach ( $this->scripts as $script ) {
$pages[$script] = array( 'ns' => NS_MEDIAWIKI, 'type' => 'script' );
$pages['MediaWiki:' . $script] = array( 'type' => 'script' );
}
}
if ( !count( $pages ) ) {
@ -467,8 +467,8 @@ class GadgetResourceLoaderModule extends ResourceLoaderWikiModule {
* @param $pages Array: Associative array of pages in ResourceLoaderWikiModule-compatible
* format, for example:
* array(
* 'Gadget-foo.js' => array( 'ns' => NS_MEDIAWIKI, 'type' => 'script' ),
* 'Gadget-foo.css' => array( 'ns' => NS_MEDIAWIKI, 'type' => 'style' ),
* 'MediaWiki:Gadget-foo.js' => array( 'type' => 'script' ),
* 'MediaWiki:Gadget-foo.css' => array( 'type' => 'style' ),
* )
* @param $dependencies Array: Names of resources this module depends on
*/