--- a/wp/wp-includes/customize/class-wp-customize-date-time-control.php	Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-includes/customize/class-wp-customize-date-time-control.php	Tue Sep 27 16:37:53 2022 +0200
@@ -28,7 +28,7 @@
 	 * Minimum Year.
 	 *
 	 * @since 4.9.0
-	 * @var integer
+	 * @var int
 	 */
 	public $min_year = 1000;
 
@@ -36,7 +36,7 @@
 	 * Maximum Year.
 	 *
 	 * @since 4.9.0
-	 * @var integer
+	 * @var int
 	 */
 	public $max_year = 9999;
 
@@ -44,7 +44,7 @@
 	 * Allow past date, if set to false user can only select future date.
 	 *
 	 * @since 4.9.0
-	 * @var boolean
+	 * @var bool
 	 */
 	public $allow_past_date = true;
 
@@ -52,7 +52,7 @@
 	 * Whether hours, minutes, and meridian should be shown.
 	 *
 	 * @since 4.9.0
-	 * @var boolean
+	 * @var bool
 	 */
 	public $include_time = true;
 
@@ -61,7 +61,7 @@
 	 * the value will still be saved in Y-m-d H:i:s format.
 	 *
 	 * @since 4.9.0
-	 * @var boolean
+	 * @var bool
 	 */
 	public $twelve_hour_format = true;
 
@@ -214,7 +214,12 @@
 	 *
 	 * @since 4.9.0
 	 *
-	 * @return array abbr and description.
+	 * @return array {
+	 *     Timezone info. All properties are optional.
+	 *
+	 *     @type string $abbr        Timezone abbreviation. Examples: PST or CEST.
+	 *     @type string $description Human-readable timezone description as HTML.
+	 * }
 	 */
 	public function get_timezone_info() {
 		$tz_string     = get_option( 'timezone_string' );
@@ -222,7 +227,7 @@
 
 		if ( $tz_string ) {
 			try {
-				$tz = new DateTimezone( $tz_string );
+				$tz = new DateTimeZone( $tz_string );
 			} catch ( Exception $e ) {
 				$tz = '';
 			}