X-Git-Url: http://git.cyclocoop.org/?a=blobdiff_plain;f=maintenance%2FcopyFileBackend.php;h=a70e90c8467ec30ff984f84390991a1a8b7e545d;hb=7049236d2804c52639abae01d266d3ecaaff480f;hp=9e36742726aa38e5d415eaf70fa7d60e9a0d261c;hpb=48c3e3231e017fb1001e60fb2c49dbe78b35f0f1;p=lhc%2Fweb%2Fwiklou.git

diff --git a/maintenance/copyFileBackend.php b/maintenance/copyFileBackend.php
index 9e36742726..a70e90c846 100644
--- a/maintenance/copyFileBackend.php
+++ b/maintenance/copyFileBackend.php
@@ -358,7 +358,6 @@ class CopyFileBackend extends Maintenance {
 			// backends in FileBackendMultiWrite (since they get writes second, they have
 			// higher timestamps). However, when copying the other way, this hits loads of
 			// false positives (possibly 100%) and wastes a bunch of time on GETs/PUTs.
-			// @phan-suppress-next-line PhanTypeArraySuspiciousNullable
 			$same = ( $srcStat['mtime'] <= $dstStat['mtime'] );
 		} else {
 			// This is the slowest method which does many per-file HEADs (unless an object