jenkins-bot has submitted this change and it was merged.
Change subject: Element.php: Tweak docs
......................................................................
Element.php: Tweak docs
Change-Id: I5c77e80317a684c44cbe3453a79296a83eb9a601
---
M php/Element.php
1 file changed, 3 insertions(+), 3 deletions(-)
Approvals:
Jforrester: Looks good to me, approved
jenkins-bot: Verified
diff --git a/php/Element.php b/php/Element.php
index e7a509c..8df8555 100644
--- a/php/Element.php
+++ b/php/Element.php
@@ -55,7 +55,7 @@
* @param array $config['content'] Content to append (after text),
strings
* or Element objects. Strings will be HTML-escaped for output, use an
* HtmlSnippet instance to prevent that.
- * @param Mixed $config['data'] Element data
+ * @param mixed $config['data'] Element data
*/
public function __construct( array $config = array() ) {
// Parent constructor
@@ -143,7 +143,7 @@
/**
* Get element data.
*
- * @return {Mixed} Element data
+ * @return mixed Element data
*/
public function getData() {
return $this->data;
@@ -152,7 +152,7 @@
/**
* Set element data.
*
- * @param {Mixed} Element data
+ * @param mixed $data Element data
* @chainable
*/
public function setData( $data ) {
--
To view, visit https://gerrit.wikimedia.org/r/191897
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5c77e80317a684c44cbe3453a79296a83eb9a601
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: 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
