--- a/wp/wp-includes/https-migration.php	Thu Sep 29 08:06:27 2022 +0200
+++ b/wp/wp-includes/https-migration.php	Fri Sep 05 18:40:08 2025 +0200
@@ -97,8 +97,10 @@
 	update_option( 'siteurl', $siteurl );
 
 	if ( ! wp_is_using_https() ) {
-		// If this did not result in the site recognizing HTTPS as being used,
-		// revert the change and return false.
+		/*
+		 * If this did not result in the site recognizing HTTPS as being used,
+		 * revert the change and return false.
+		 */
 		update_option( 'home', $orig_home );
 		update_option( 'siteurl', $orig_siteurl );
 		return false;