From f5bc7e881bde36fb988d130b6f5b314a52c1933a Mon Sep 17 00:00:00 2001
From: Xinchen Hui <laruence@gmail.com>
Date: Wed, 1 Jun 2016 10:43:53 +0800
Subject: [PATCH] Forgotten test script for bug #72300

---
 .../tests/general_functions/bug72300.phpt      | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 ext/standard/tests/general_functions/bug72300.phpt

diff --git a/ext/standard/tests/general_functions/bug72300.phpt b/ext/standard/tests/general_functions/bug72300.phpt
new file mode 100644
index 0000000000..03aa62269f
--- /dev/null
+++ b/ext/standard/tests/general_functions/bug72300.phpt
@@ -0,0 +1,18 @@
+--TEST--
+Bug #72300 (ignore_user_abort(false) has no effect)
+--INI--
+ignore_user_abort=0
+--FILE--
+<?php
+
+var_dump(ignore_user_abort(true));
+var_dump(ignore_user_abort());
+var_dump(ignore_user_abort(false));
+var_dump(ignore_user_abort());
+
+?>
+--EXPECT--
+int(0)
+int(1)
+int(1)
+int(0)
-- 
2.50.1