jenkins-bot has submitted this change and it was merged.
Change subject: OOjs UI: Backport I73f95965694ec7fb0fa9a474742286e1105e5c85
......................................................................
OOjs UI: Backport I73f95965694ec7fb0fa9a474742286e1105e5c85
Bug: T151061
Change-Id: I715d2ac077c5a6f9de420d90f19ef4b631168f26
---
M resources/lib/oojs-ui/oojs-ui-core.js
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Thcipriani: Looks good to me, approved
Jforrester: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/resources/lib/oojs-ui/oojs-ui-core.js
b/resources/lib/oojs-ui/oojs-ui-core.js
index fd4e033..987388e 100644
--- a/resources/lib/oojs-ui/oojs-ui-core.js
+++ b/resources/lib/oojs-ui/oojs-ui-core.js
@@ -10148,7 +10148,7 @@
// Mixin constructors
OO.ui.mixin.IconElement.call( this, config );
- OO.ui.mixin.LabelElement.call( this, $.extend( {}, config, { $label: $(
'<legend>' ) } ) );
+ OO.ui.mixin.LabelElement.call( this, $.extend( {}, config, { $label: $(
'<div>' ) } ) );
OO.ui.mixin.GroupElement.call( this, config );
if ( config.help ) {
--
To view, visit https://gerrit.wikimedia.org/r/325246
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I715d2ac077c5a6f9de420d90f19ef4b631168f26
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: wmf/1.29.0-wmf.4
Gerrit-Owner: Bartosz Dziewoński <matma....@gmail.com>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Jack Phoenix <j...@countervandalism.net>
Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org>
Gerrit-Reviewer: Thcipriani <tcipri...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
