From 6026e879a66fe6dcc5e744c4b75a3da4a59722e3 Mon Sep 17 00:00:00 2001
From: Sergey Panteleev <sergey@php.net>
Date: Mon, 21 Jul 2025 18:51:34 +0300
Subject: [PATCH] Should fix tests

---
 downloads-get-instructions.php |  8 ++++++++
 styles/theme-base.css          | 14 --------------
 2 files changed, 8 insertions(+), 14 deletions(-)

diff --git a/downloads-get-instructions.php b/downloads-get-instructions.php
index 67c663373..c15672898 100644
--- a/downloads-get-instructions.php
+++ b/downloads-get-instructions.php
@@ -2,6 +2,14 @@
 $file = 'unknown';
 $latestPhpVersion = '8.4';
 
+if (!isset($options)) {
+    $options = [
+        'os' => '',
+        'usage' => '',
+        'version' => '',
+    ];
+}
+
 if ($options['os'] === 'windows') {
 	if ($options['osvariant'] === 'windows-wsl-debian') {
 		$options['os'] = 'linux';
diff --git a/styles/theme-base.css b/styles/theme-base.css
index 96fdf06fa..59b4ad632 100644
--- a/styles/theme-base.css
+++ b/styles/theme-base.css
@@ -508,20 +508,6 @@ div.classsynopsisinfo_comment {
     margin-top:1.5rem;
 }
 
-.phpcode {
-    background-color: #FFF;
-    box-shadow: inset 0 0 0 1px rgba(0, 0, 0, .15);
-    border-radius: 0 0 2px 2px;
-    overflow-x: auto;
-    display: flex;
-    align-items: center;
-    width: 100%;
-    height: 100%;
-    padding: 0 1.5rem;
-    box-sizing: border-box;
-    margin: 0;
-}
-
 .instructions {
     margin-bottom: 2rem;
 }