Merge "Clean up UIDGenerator field comments"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 4 Oct 2018 19:53:45 +0000 (19:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 4 Oct 2018 19:53:45 +0000 (19:53 +0000)
commita3c780d08cc522b30c18fcfb77eaa4d2a88a1890
treed7f286e7c651ec71be76ef69b8adc2d2923948d0
parent109a6ecf78f1735857f1d6bacb26224ef133d223
parentd739e97884b68ced3d16e141d1031660069589b2
Merge "Clean up UIDGenerator field comments"
includes/utils/UIDGenerator.php