diff --git a/php/src/Docker/DockerActionManager.php b/php/src/Docker/DockerActionManager.php index 989ba593..c0e4587e 100644 --- a/php/src/Docker/DockerActionManager.php +++ b/php/src/Docker/DockerActionManager.php @@ -539,6 +539,7 @@ class DockerActionManager apcu_add($cacheKey, $tag); /** * @psalm-suppress TypeDoesNotContainNull + * @psalm-suppress DocblockTypeContradiction */ if ($tag === null) { error_log("No tag was found when getting the current channel. You probably did not follow the documentation correctly. Changing the channel to the default 'latest'.");