From dcb9cd44b5849c272a74a7b8a0e18d51a7e50191 Mon Sep 17 00:00:00 2001
From: "Dmitry.Tronin" <33625946+DmitryTronin@users.noreply.github.com>
Date: Tue, 19 Oct 2021 19:03:04 +0200
Subject: [PATCH] Some of them a truly pure, related WI-63041

---
 date/date.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/date/date.php b/date/date.php
index 22d26351a..6eaf76b61 100644
--- a/date/date.php
+++ b/date/date.php
@@ -1220,7 +1220,7 @@ function timezone_open(string $timezone): DateTimeZone|false {}
  * {@see DateTimeZone} for which to get a name.</p>
  * @return string One of the timezone names in the list of timezones.
  */
-#[Pure(true)]
+#[Pure]
 function timezone_name_get(DateTimeZone $object): string {}
 
 /**
@@ -1307,7 +1307,7 @@ function timezone_identifiers_list(int $timezoneGroup = DateTimeZone::ALL, ?stri
  * @link https://php.net/manual/en/function.timezone-abbreviations-list.php
  * @return array|false Array on success or <b>FALSE</b> on failure.
  */
-#[Pure(true)]
+#[Pure]
 #[LanguageLevelTypeAware(["8.0" => "array"], default: "array|false")]
 function timezone_abbreviations_list() {}
 
@@ -1316,7 +1316,7 @@ function timezone_abbreviations_list() {}
  * @link https://php.net/manual/en/function.timezone-version-get.php
  * @return string a string.
  */
-#[Pure(true)]
+#[Pure]
 function timezone_version_get(): string {}
 
 /**
@@ -1363,7 +1363,7 @@ function date_default_timezone_set(string $timezoneId): bool {}
  * @link https://php.net/manual/en/function.date-default-timezone-get.php
  * @return string a string.
  */
-#[Pure(true)]
+#[Pure]
 function date_default_timezone_get(): string {}
 
 /**