diff --git a/releases/8.5/common.php b/releases/8.5/common.php index 0572de6319..2bad51cd69 100644 --- a/releases/8.5/common.php +++ b/releases/8.5/common.php @@ -25,8 +25,7 @@ function common_header(string $description): void { \site_header("PHP 8.5 Release Announcement", [ 'current' => 'php85', - 'css' => ['prism.css', 'php85.css'], - 'js_files' => ['js/ext/prism.js'], + 'css' => ['php85.css'], 'language_switcher' => $languages, 'theme_switcher' => true, 'meta_tags' => << + -
-
+                    
-                    
+PHP + ); ?>
@@ -224,17 +230,23 @@ var_dump($components['host']); RFC
+ -
-
+                    getHost());
 // string(7) "php.net"
-
-                    
+PHP + ); ?> @@ -254,9 +266,15 @@ var_dump($uri->getHost());
+ -
-
+                    
-                    
+PHP + ); ?>
@@ -280,9 +298,15 @@ var_dump($slug); RFC
+ -
-
+                    
-                    
+PHP + ); ?> @@ -314,9 +338,15 @@ var_dump($slug);
+ -
-
+                    withAlpha(128);
-
-                    
+PHP + ); ?>
@@ -348,9 +378,15 @@ $transparentBlue = $blue->withAlpha(128); RFC
+ -
-
+                    withAlpha(128);
-
-                    
+PHP + ); ?> @@ -391,17 +427,23 @@ $transparentBlue = $blue->withAlpha(128);
+ -
-
+                    
-                    
+PHP + ); ?>
@@ -412,9 +454,15 @@ getPhpVersion(); // No warning RFC
+ -
-
+                    
-                    
+PHP + ); ?> @@ -445,9 +493,15 @@ getPhpVersion();
+ -
-
+                    
-                    
+PHP + ); ?>
@@ -472,9 +526,15 @@ final class PostsController RFC RFC
+ -
-
+                    
-                    
+PHP + ); ?> @@ -511,9 +571,15 @@ final class PostsController
+ -
-
+                    
-                    
+PHP + ); ?>
@@ -535,9 +601,15 @@ curl_exec($ch); RFC
+ -
-
+                    
-                    
+PHP + ); ?> @@ -569,14 +641,20 @@ curl_exec($ch);
+ -
-
+                    
-                    
+PHP + ); ?>
@@ -586,12 +664,18 @@ $lastEvent = $events === [] RFC
+ -
-
+                    
-                    
+PHP + ); ?> @@ -793,7 +877,27 @@ $lastEvent = array_last($events);