From 72128294352e8b8dbbfe43f85cb5bf79a24a9332 Mon Sep 17 00:00:00 2001
From: Anatol Belski <ab@php.net>
Date: Tue, 12 Jun 2018 15:30:14 +0200
Subject: [PATCH] Fixed bug #76462 Undefined property: DateInterval::$f

---
 ext/date/php_date.c          |  1 +
 ext/date/tests/bug76462.phpt | 16 ++++++++++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 ext/date/tests/bug76462.phpt

diff --git a/ext/date/php_date.c b/ext/date/php_date.c
index 7c28f1b4b42..955b7e9197e 100644
--- a/ext/date/php_date.c
+++ b/ext/date/php_date.c
@@ -4276,6 +4276,7 @@ static zval *date_interval_get_property_ptr_ptr(zval *object, zval *member, int
 		zend_binary_strcmp("h", sizeof("h") - 1, Z_STRVAL_P(member), Z_STRLEN_P(member)) == 0 ||
 		zend_binary_strcmp("i", sizeof("i") - 1, Z_STRVAL_P(member), Z_STRLEN_P(member)) == 0 ||
 		zend_binary_strcmp("s", sizeof("s") - 1, Z_STRVAL_P(member), Z_STRLEN_P(member)) == 0 ||
+		zend_binary_strcmp("f", sizeof("f") - 1, Z_STRVAL_P(member), Z_STRLEN_P(member)) == 0 ||
 		zend_binary_strcmp("days", sizeof("days") - 1, Z_STRVAL_P(member), Z_STRLEN_P(member)) == 0 ||
 		zend_binary_strcmp("invert", sizeof("invert") - 1, Z_STRVAL_P(member), Z_STRLEN_P(member)) == 0) {
 		/* Fallback to read_property. */
diff --git a/ext/date/tests/bug76462.phpt b/ext/date/tests/bug76462.phpt
new file mode 100644
index 00000000000..096fa5b9234
--- /dev/null
+++ b/ext/date/tests/bug76462.phpt
@@ -0,0 +1,16 @@
+--TEST--
+Bug #76462 Undefined property: DateInterval::$f
+--FILE--
+<?php
+$buggy = new DateInterval('P0Y');
+$buggy->f += 0.01;
+
+$ok = new DateInterval('P0Y');
+$ok->f = $ok->f + 0.01;
+
+var_dump($buggy->f);
+var_dump($ok->f);
+?>
+--EXPECT--
+float(0.01)
+float(0.01)