diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2020-12-12 13:01:23 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2020-12-12 14:42:25 +0100 |
| commit | f46ca9a63c6396eaa237a219a1f3c5fe93d55b22 (patch) | |
| tree | 09d1e53693fd4c8fc2a205b0a45acc43890de2a7 /includes/libs/filebackend/filejournal | |
| parent | f49e8f4f56e725450afdf27051a6d5afadd0a07e (diff) | |
| download | mediawikicore-f46ca9a63c6396eaa237a219a1f3c5fe93d55b22.tar.gz mediawikicore-f46ca9a63c6396eaa237a219a1f3c5fe93d55b22.zip | |
build: Updating mediawiki/mediawiki-phan-config to 0.10.5
Change-Id: I343d2bae626a3903eb1e67c05bf5caef4314b7dd
Diffstat (limited to 'includes/libs/filebackend/filejournal')
| -rw-r--r-- | includes/libs/filebackend/filejournal/FileJournal.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/libs/filebackend/filejournal/FileJournal.php b/includes/libs/filebackend/filejournal/FileJournal.php index d5938b7bf29c..8f5f96daf3e2 100644 --- a/includes/libs/filebackend/filejournal/FileJournal.php +++ b/includes/libs/filebackend/filejournal/FileJournal.php @@ -176,6 +176,7 @@ abstract class FileJournal { $entries = $this->doGetChangeEntries( $start, $limit ? $limit + 1 : 0 ); if ( $limit && count( $entries ) > $limit ) { $last = array_pop( $entries ); // remove the extra entry + // @phan-suppress-next-line PhanTypeArraySuspiciousNullable $entries are never empty here $next = $last['id']; // update for next call } else { $next = null; // end of list |