Mattflaschen has uploaded a new change for review.
https://gerrit.wikimedia.org/r/111393
Change subject: Use mediawiki.ui.button instead of mediawiki.ui
......................................................................
Use mediawiki.ui.button instead of mediawiki.ui
* 9e4e58bce8d10f65cf298b39f48e86c41b6a82b8 separated mediawiki.ui.button
into a separate module (for modularity, and potentially to allow
wiki content to use mw.ui buttons by default in the future).
* Currently, the button code is in both mediawiki.ui and
mediawiki.ui.button for backwards compatibility. However, it will be
removed from mediawiki.ui when existing uses transition over.
* UploadWizard doesn't use any mw.ui feature besides buttons, so
it can just use mediawiki.ui.button.
Change-Id: Ie5c6bed27869946eda69a8731df3c2fea89ec5b6
---
M UploadWizard.php
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/UploadWizard
refs/changes/93/111393/1
diff --git a/UploadWizard.php b/UploadWizard.php
index 0ede11d..7937038 100644
--- a/UploadWizard.php
+++ b/UploadWizard.php
@@ -126,7 +126,7 @@
$wgResourceModules['ext.uploadWizard.uploadCampaign.display'] = array(
'styles' => 'ext.uploadWizard.uploadCampaign.display.css',
'position' => 'top',
- 'dependencies' => 'mediawiki.ui'
+ 'dependencies' => 'mediawiki.ui.button'
) + $uploadWizardModuleInfo;
$wgResourceModules['ext.uploadWizard.uploadCampaign.list'] = array(
--
To view, visit https://gerrit.wikimedia.org/r/111393
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie5c6bed27869946eda69a8731df3c2fea89ec5b6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/UploadWizard
Gerrit-Branch: master
Gerrit-Owner: Mattflaschen <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits