From 3974180f92216371a81f8b35702d5a9cb1e3bfad Mon Sep 17 00:00:00 2001
From: Nikita Popov <nikita.ppv@gmail.com>
Date: Thu, 18 Apr 2019 15:05:43 +0200
Subject: [PATCH] Remove dead "props" member from date objects

---
 ext/date/php_date.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/ext/date/php_date.h b/ext/date/php_date.h
index f624a42227..8bb6f23ea1 100644
--- a/ext/date/php_date.h
+++ b/ext/date/php_date.h
@@ -131,7 +131,6 @@ typedef struct _php_period_obj php_period_obj;
 
 struct _php_date_obj {
 	timelib_time *time;
-	HashTable    *props;
 	zend_object   std;
 };
 
@@ -149,7 +148,6 @@ struct _php_timezone_obj {
 		timelib_sll       utc_offset; /* TIMELIB_ZONETYPE_OFFSET */
 		timelib_abbr_info z;          /* TIMELIB_ZONETYPE_ABBR */
 	} tzi;
-	HashTable *props;
 	zend_object std;
 };
 
@@ -161,7 +159,6 @@ static inline php_timezone_obj *php_timezone_obj_from_obj(zend_object *obj) {
 
 struct _php_interval_obj {
 	timelib_rel_time *diff;
-	HashTable        *props;
 	int               initialized;
 	zend_object       std;
 };
-- 
2.40.0