Cicalese has uploaded a new change for review.
https://gerrit.wikimedia.org/r/263241
Change subject: made sure is defined when using new Extension Registration
mechanism
......................................................................
made sure is defined when using new Extension Registration mechanism
Change-Id: I5e7127c258f1438c44b958f38014e06234f2a1c7
---
M HeaderTabs.hooks.php
M HeaderTabs.php
2 files changed, 2 insertions(+), 2 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/HeaderTabs
refs/changes/41/263241/1
diff --git a/HeaderTabs.hooks.php b/HeaderTabs.hooks.php
index d6bd16c..5b6c2a3 100644
--- a/HeaderTabs.hooks.php
+++ b/HeaderTabs.hooks.php
@@ -60,7 +60,7 @@
* @return bool
*/
public static function addHTMLHeader( &$out ) {
- global $wgHeaderTabsScriptPath, $wgHeaderTabsStyle;
+ global $wgScriptPath, $wgHeaderTabsStyle;
//! @todo we might be able to only load our js and styles if we
are rendering tabs, speeding up pages that don't use it? but what about cached
pages? (2011-12-12, ofb)
@@ -68,6 +68,7 @@
// Add the CSS file for the specified style.
if ( !empty( $wgHeaderTabsStyle ) && $wgHeaderTabsStyle !==
'jquery' ) {
+ $wgHeaderTabsScriptPath = $wgScriptPath .
"/extensions/HeaderTabs";
$styleFile = $wgHeaderTabsScriptPath .
'/skins/ext.headertabs.' . $wgHeaderTabsStyle . '.css';
$out->addExtensionStyle( $styleFile );
}
diff --git a/HeaderTabs.php b/HeaderTabs.php
index 7c7cbde..b727038 100644
--- a/HeaderTabs.php
+++ b/HeaderTabs.php
@@ -15,7 +15,6 @@
}
$dir = dirname( __FILE__ );
-$wgHeaderTabsScriptPath = $wgScriptPath . "/extensions/HeaderTabs";
if ( function_exists( 'wfLoadExtension' ) ) {
wfLoadExtension( 'HeaderTabs' );
--
To view, visit https://gerrit.wikimedia.org/r/263241
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I5e7127c258f1438c44b958f38014e06234f2a1c7
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/HeaderTabs
Gerrit-Branch: master
Gerrit-Owner: Cicalese <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
