Forgotten test script for bug #72300

diff --git a/ext/standard/tests/general_functions/bug72300.phpt b/ext/standard/tests/general_functions/bug72300.phpt
new file mode 100644 (file)
index 0000000..03aa622
--- /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)