Deprecate $exclude_disabled=false

Author: nikic

Zend/zend_builtin_functions.c

@@ -1421,7 +1421,10 @@ ZEND_FUNCTION(get_defined_functions)
 		RETURN_THROWS();
 	}
 
-	/* exclude_disabled = 0 is ignored. */
+	if (exclude_disabled == 0) {
+		zend_error(E_DEPRECATED,
+			"get_defined_functions(): Setting $exclude_disabled to false has no effect");
+	}
 
 	array_init(&internal);
 	array_init(&user);

tests/basic/bug31875.phpt

@@ -19,7 +19,9 @@ var_dump(in_array($disabled_function, $functions['internal']));
 $functions = get_defined_functions(true);
 var_dump(in_array($disabled_function, $functions['internal']));
 ?>
---EXPECT--
+--EXPECTF--
 bool(false)
+
+Deprecated: get_defined_functions(): Setting $exclude_disabled to false has no effect in %s on line %d
 bool(false)
 bool(false)