diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2021-10-16 23:47:01 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2022-01-11 20:13:13 +0100 |
| commit | 95852cb22bd574533b019e8d3f7ccd507fc25291 (patch) | |
| tree | e7f246b0e05bddf66b2b33d99511c63cb070fd1e /includes/Storage | |
| parent | 5d23bca5a556246be82e921a4b9895e7e519064a (diff) | |
| download | mediawikicore-95852cb22bd574533b019e8d3f7ccd507fc25291.tar.gz mediawikicore-95852cb22bd574533b019e8d3f7ccd507fc25291.zip | |
Explicit cast TS_UNIX to int for arithmetic operations and int args
When the called function has a doc of int, it should be cast to be
explicit here.
Also cast for arithmetic operations to be explicit about the number
Change-Id: I905b78dfb66e66443e0e3203488bab5b548db543
Diffstat (limited to 'includes/Storage')
| -rw-r--r-- | includes/Storage/PageEditStash.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/Storage/PageEditStash.php b/includes/Storage/PageEditStash.php index eea53b342ab0..ad6df647bd40 100644 --- a/includes/Storage/PageEditStash.php +++ b/includes/Storage/PageEditStash.php @@ -156,7 +156,7 @@ class PageEditStash { // Reuse any freshly build matching edit stash cache $editInfo = $this->getStashValue( $key ); - if ( $editInfo && wfTimestamp( TS_UNIX, $editInfo->timestamp ) >= $cutoffTime ) { + if ( $editInfo && (int)wfTimestamp( TS_UNIX, $editInfo->timestamp ) >= $cutoffTime ) { $alreadyCached = true; } else { $pageUpdater->setContent( SlotRecord::MAIN, $content ); |