jenkins-bot has submitted this change and it was merged.
Change subject: Fixed UID comment
......................................................................
Fixed UID comment
Change-Id: I2e44bd69f4acafa032e0c4207749008409afcd53
---
M includes/utils/UIDGenerator.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Aaron Schulz: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/utils/UIDGenerator.php b/includes/utils/UIDGenerator.php
index dffe242..5346afa 100644
--- a/includes/utils/UIDGenerator.php
+++ b/includes/utils/UIDGenerator.php
@@ -117,7 +117,7 @@
}
/**
- * @param array $info (UIDGenerator::millitime(), clock sequence)
+ * @param array $info (UIDGenerator::millitime(), counter, clock
sequence)
* @return string 88 bits
*/
protected function getTimestampedID88( array $info ) {
--
To view, visit https://gerrit.wikimedia.org/r/156724
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2e44bd69f4acafa032e0c4207749008409afcd53
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz <[email protected]>
Gerrit-Reviewer: Aaron Schulz <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
