jenkins-bot has submitted this change and it was merged.
Change subject: Typo in comment of Html::radio()
......................................................................
Typo in comment of Html::radio()
Incorrectly copied documentation from Html::check().
Change-Id: I508e4beedb01b62989a7f37466c47ddd37091b49
---
M includes/Html.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Umherirrender: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Html.php b/includes/Html.php
index 506b9cc..b7958dd 100644
--- a/includes/Html.php
+++ b/includes/Html.php
@@ -744,10 +744,10 @@
}
/**
- * Convenience function to produce a checkbox (input element with
type=checkbox)
+ * Convenience function to produce a radio button (input element with
type=radio)
*
* @param string $name Name attribute
- * @param bool $checked Whether the checkbox is checked or not
+ * @param bool $checked Whether the radio button is checked or not
* @param array $attribs Array of additional attributes
* @return string Raw HTML
*/
--
To view, visit https://gerrit.wikimedia.org/r/246783
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I508e4beedb01b62989a7f37466c47ddd37091b49
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Edward Chernenko <[email protected]>
Gerrit-Reviewer: Daniel Friesen <[email protected]>
Gerrit-Reviewer: Umherirrender <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
