diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-04-12 15:17:23 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-04-12 15:17:23 +0000 |
| commit | 6497541c9c089966ce7d3b0e0abd6b68192d30d8 (patch) | |
| tree | 9c58a1604b56a15d7b19e3f65867671351acf7bd /maintenance/storage | |
| parent | f767110efcffc2da438cff84e50c76256d7a4f15 (diff) | |
| parent | 14d9e80ba42c471f1c9e92c5cb6808b4723b5945 (diff) | |
| download | mediawikicore-6497541c9c089966ce7d3b0e0abd6b68192d30d8.tar.gz mediawikicore-6497541c9c089966ce7d3b0e0abd6b68192d30d8.zip | |
Merge "Fix order of @var parameter in PHP"
Diffstat (limited to 'maintenance/storage')
| -rw-r--r-- | maintenance/storage/checkStorage.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintenance/storage/checkStorage.php b/maintenance/storage/checkStorage.php index 68184ea24294..eed8019ec268 100644 --- a/maintenance/storage/checkStorage.php +++ b/maintenance/storage/checkStorage.php @@ -104,7 +104,7 @@ class CheckStorage { ); foreach ( $res as $row ) { /** - * @var $flags int + * @var int $flags */ $flags = $row->old_flags; $id = $row->old_id; |