Reedy has uploaded a new change for review.
https://gerrit.wikimedia.org/r/254403
Change subject: Fix type hint
......................................................................
Fix type hint
Change-Id: I31623ea102d3f718fad2783861f34ff146087fe8
---
M php/mixins/FlaggedElement.php
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/03/254403/1
diff --git a/php/mixins/FlaggedElement.php b/php/mixins/FlaggedElement.php
index bd5dc80..6f7e42b 100644
--- a/php/mixins/FlaggedElement.php
+++ b/php/mixins/FlaggedElement.php
@@ -14,7 +14,7 @@
/**
* Flags.
*
- * @var string
+ * @var array
*/
protected $flags = array();
--
To view, visit https://gerrit.wikimedia.org/r/254403
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I31623ea102d3f718fad2783861f34ff146087fe8
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
