jenkins-bot has submitted this change and it was merged.

Change subject: Html: Fix a copy-paste error in docs
......................................................................


Html: Fix a copy-paste error in docs

Change-Id: I262f27574335cf8f4d72a5bb3a28a77ef402c252
---
M includes/Html.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Bartosz Dziewoński: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/includes/Html.php b/includes/Html.php
index 932f753..6977a69 100644
--- a/includes/Html.php
+++ b/includes/Html.php
@@ -664,7 +664,7 @@
        }
 
        /**
-        * Convenience function to produce an "<input>" element.
+        * Convenience function to produce a <textarea> element.
         *
         * This supports leaving out the cols= and rows= which Xml requires and 
are
         * required by HTML4/XHTML but not required by HTML5.

-- 
To view, visit https://gerrit.wikimedia.org/r/97305
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I262f27574335cf8f4d72a5bb3a28a77ef402c252
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Daniel Friesen <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to