From dfc396c0110fa1739dd4e349a1889d587ac21644 Mon Sep 17 00:00:00 2001 From: Yahnis Elsts Date: Sat, 6 Jul 2024 19:56:43 +0300 Subject: [PATCH] Minor: Remove unnecessary doc comment It seems PhpStorm no longer complains about the "skin" property. --- Puc/v5p4/UpdateChecker.php | 1 - 1 file changed, 1 deletion(-) diff --git a/Puc/v5p4/UpdateChecker.php b/Puc/v5p4/UpdateChecker.php index e4e3342..cc32166 100644 --- a/Puc/v5p4/UpdateChecker.php +++ b/Puc/v5p4/UpdateChecker.php @@ -980,7 +980,6 @@ if ( !class_exists(UpdateChecker::class, false) ): //Rename the source to match the existing directory. $correctedSource = trailingslashit($remoteSource) . $this->directoryName . '/'; if ( $source !== $correctedSource ) { - /** @var \WP_Upgrader_Skin $upgrader ->skin */ $upgrader->skin->feedback(sprintf( 'Renaming %s to %s…', '' . basename($source) . '',