From be3338bf720808467447fdcdd6cab9d3e8d821bc Mon Sep 17 00:00:00 2001 From: Jim Winstead Date: Mon, 28 Oct 2024 14:28:53 -0700 Subject: [PATCH] Document 'process' resource type (#3954) Based on comment: https://www.php.net/manual/en/resource.php#128764 --- appendices/resources.xml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/appendices/resources.xml b/appendices/resources.xml index 881ce6851918..3fe4cf515030 100644 --- a/appendices/resources.xml +++ b/appendices/resources.xml @@ -1302,6 +1302,20 @@ + + process + proc_open + + proc_get_status + proc_terminate + + + proc_close + + + Process + + pspell