From 7704c11171a8b3089e2e2de3f07dee30679f3d0a Mon Sep 17 00:00:00 2001 From: Roman Pronskiy Date: Tue, 31 Oct 2023 02:52:40 +0200 Subject: [PATCH] Add PHP 8.3 logo --- images/php8/logo_php8_3.svg | 9 +++++++++ include/header.inc | 2 +- releases/8.3/release.inc | 2 +- 3 files changed, 11 insertions(+), 2 deletions(-) create mode 100644 images/php8/logo_php8_3.svg diff --git a/images/php8/logo_php8_3.svg b/images/php8/logo_php8_3.svg new file mode 100644 index 0000000000..ae9af2100d --- /dev/null +++ b/images/php8/logo_php8_3.svg @@ -0,0 +1,9 @@ + + + + + + + + + diff --git a/include/header.inc b/include/header.inc index c6eed89ef2..0ad3050053 100644 --- a/include/header.inc +++ b/include/header.inc @@ -106,7 +106,7 @@ if (!isset($config["languages"])) {
  • ">Help
  • "> - php8.3 + php8.3
  • diff --git a/releases/8.3/release.inc b/releases/8.3/release.inc index bde37c6139..6cd0e1a94e 100644 --- a/releases/8.3/release.inc +++ b/releases/8.3/release.inc @@ -26,7 +26,7 @@ common_header(message('common_header', $lang));