Add phpstan ignore line

wp-media · Oct 25, 2024 · 92464d1 · 92464d1
1 parent 68df013
commit 92464d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/inc/Engine/Plugin/UpdaterSubscriber.php b/inc/Engine/Plugin/UpdaterSubscriber.php
@@ -133,7 +133,7 @@ public static function get_subscribed_events() {
 	 * @return array           Updated array of HTTP request arguments.
 	 */
 	public function exclude_rocket_from_wp_updates( $request, $url ) {
-		if ( ! is_string( $url ) ) {
+		if ( ! is_string( $url ) ) { // @phpstan-ignore-line GH #7042 - $url variable may be change by other plugins to something else than string.
 			return $request;
 		}