| Index: trunk/extensions/GroupPermissionsManager/GroupPermissionsManager.php |
| — | — | @@ -11,13 +11,12 @@ |
| 12 | 12 | } |
| 13 | 13 | |
| 14 | 14 | $wgExtensionCredits['specialpage'][] = array( |
| 15 | | -'name' => 'GroupPermissions Manager', |
| 16 | | -'author' => 'Ryan Schmidt', |
| 17 | | -'url' => 'http://www.mediawiki.org/wiki/Extension:GroupPermissions_Manager', |
| 18 | | -#'version' => '3.1', |
| 19 | | -'version' => '3.0', |
| 20 | | -'description' => 'Manage group permissions via a special page', |
| 21 | | -'descriptionmsg' => 'grouppermissions-desc', |
| | 15 | + 'name' => 'GroupPermissions Manager', |
| | 16 | + 'author' => 'Ryan Schmidt', |
| | 17 | + 'url' => 'http://www.mediawiki.org/wiki/Extension:GroupPermissions_Manager', |
| | 18 | + 'version' => '3.0', |
| | 19 | + 'description' => 'Manage group permissions via a special page', |
| | 20 | + 'descriptionmsg' => 'grouppermissions-desc', |
| 22 | 21 | ); |
| 23 | 22 | $wgAutoloadClasses['GroupPermissions'] = dirname(__FILE__) . '/GroupPermissionsManager_body.php'; |
| 24 | 23 | #$wgAutoloadClasses['RemoveUnusedGroups'] = dirname(__FILE__) . '/RemoveUnusedGroups.php'; |
| — | — | @@ -264,12 +263,12 @@ |
| 265 | 264 | |
| 266 | 265 | //was added in 1.13, so supporting for downwards compatibility with 1.12 |
| 267 | 266 | function addScriptFile( $file ) { |
| 268 | | - global $wgStylePath, $wgStyleVersion, $wgJsMimeType; |
| | 267 | + global $wgStylePath, $wgStyleVersion, $wgJsMimeType, $wgOut; |
| 269 | 268 | if( substr( $file, 0, 1 ) == '/' ) { |
| 270 | 269 | $path = $file; |
| 271 | 270 | } else { |
| 272 | 271 | $path = "{$wgStylePath}/common/{$file}"; |
| 273 | 272 | } |
| 274 | 273 | $encPath = htmlspecialchars( $path ); |
| 275 | | - $this->addScript( "<script type=\"{$wgJsMimeType}\" src=\"$path?$wgStyleVersion\"></script>\n" ); |
| | 274 | + $wgOut->addScript( "<script type=\"{$wgJsMimeType}\" src=\"$path?$wgStyleVersion\"></script>\n" ); |
| 276 | 275 | } |