Merge "Document return of void in Maintenance::execute"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 6 Jul 2018 16:45:09 +0000 (16:45 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 6 Jul 2018 16:45:09 +0000 (16:45 +0000)
commit5e2af4503bc9a5194e74e1af050c010de0afc161
tree55f41a8878f0cc2477390a9583f079080215c78a
parentcf1880aa5e01de0855ce2128f9b6366a38d997c8
parentb4b1e6d698bd9760e8d73be26159aa8dcd15ff14
Merge "Document return of void in Maintenance::execute"
maintenance/Maintenance.php