jenkins-bot has submitted this change and it was merged.
Change subject: Update documentation of Status
......................................................................
Update documentation of Status
Change-Id: Ib50321b36c0e9595945037ecfd8bb1e7fe0e86b0
---
M includes/Status.php
1 file changed, 10 insertions(+), 0 deletions(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/Status.php b/includes/Status.php
index dc0bae0..5f5ca74 100644
--- a/includes/Status.php
+++ b/includes/Status.php
@@ -38,17 +38,27 @@
* so that a lack of error-handling will be explicit.
*/
class Status {
+ /** @var bool */
public $ok = true;
+
+ /** @var mixed */
public $value;
/** Counters for batch operations */
+ /** @var int */
public $successCount = 0;
+
+ /** @var int */
public $failCount = 0;
/** Array to indicate which items of the batch operations were
successful */
+ /** @var array */
public $success = array();
+ /** @var array */
public $errors = array();
+
+ /** @var callable */
public $cleanCallback = false;
/**
--
To view, visit https://gerrit.wikimedia.org/r/97324
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib50321b36c0e9595945037ecfd8bb1e7fe0e86b0
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: IAlex <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
