jenkins-bot has submitted this change and it was merged.
Change subject: ExtensionInfo: Added dependency ext.bluespice.extjs
......................................................................
ExtensionInfo: Added dependency ext.bluespice.extjs
This is necessary since ExtJS gets loaded as RL module
Change-Id: I4b1bc0b9dbf77d4e0675b1657ac8cc14e19d58ea
---
M ExtensionInfo/ExtensionInfo.setup.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Robert Vogel: Looks good to me, approved
jenkins-bot: Verified
diff --git a/ExtensionInfo/ExtensionInfo.setup.php
b/ExtensionInfo/ExtensionInfo.setup.php
index 9d54b5a..89539c4 100644
--- a/ExtensionInfo/ExtensionInfo.setup.php
+++ b/ExtensionInfo/ExtensionInfo.setup.php
@@ -30,7 +30,7 @@
'bs-extensioninfo-groupingtemplateviewtext'
),
'dependencies' => array(
- 'mediawiki.jqueryMsg'
+ 'ext.bluespice.extjs'
),
'localBasePath' => $IP .
'/extensions/BlueSpiceExtensions/ExtensionInfo/resources',
'remoteExtPath' => 'BlueSpiceExtensions/ExtensionInfo/resources',
--
To view, visit https://gerrit.wikimedia.org/r/248819
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I4b1bc0b9dbf77d4e0675b1657ac8cc14e19d58ea
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BlueSpiceExtensions
Gerrit-Branch: master
Gerrit-Owner: Robert Vogel <[email protected]>
Gerrit-Reviewer: Robert Vogel <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
