Bartosz Dziewoński has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/356417 )
Change subject: demos: Replace abandoned icon name 'remove' to current one
'trash'
......................................................................
demos: Replace abandoned icon name 'remove' to current one 'trash'
Change-Id: Idccdfa2c0d5e09f5bf4c2891e4bc303438e2454b
---
M demos/pages/widgets.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/demos/pages/widgets.php b/demos/pages/widgets.php
index d6b13db..34d95b7 100644
--- a/demos/pages/widgets.php
+++ b/demos/pages/widgets.php
@@ -200,7 +200,7 @@
new OOUI\ButtonWidget( [
'framed' => false,
'flags' => [ 'destructive' ],
- 'icon' => 'remove',
+ 'icon' => 'trash',
'label' => 'Destructive'
] ),
[
@@ -811,7 +811,7 @@
),
new OOUI\FieldLayout(
new OOUI\IconWidget( [
- 'icon' => 'remove',
+ 'icon' => 'trash',
'flags' => 'destructive',
'title' => 'Remove icon'
] ),
--
To view, visit https://gerrit.wikimedia.org/r/356417
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Idccdfa2c0d5e09f5bf4c2891e4bc303438e2454b
Gerrit-PatchSet: 2
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits