From 97fc480aca0b3813c47b23452441f8bfe8adb72d Mon Sep 17 00:00:00 2001 From: Bruce Weirdan Date: Mon, 21 Aug 2023 07:10:24 +0200 Subject: [PATCH] Added more gc_status return fields Fixes vimeo/psalm#10022 --- dictionaries/CallMap.php | 2 +- dictionaries/CallMap_83_delta.php | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php index 4f511a046..bbd5ab345 100644 --- a/dictionaries/CallMap.php +++ b/dictionaries/CallMap.php @@ -2942,7 +2942,7 @@ return [ 'gc_enable' => ['void'], 'gc_enabled' => ['bool'], 'gc_mem_caches' => ['int'], -'gc_status' => ['array{runs:int,collected:int,threshold:int,roots:int,running:bool,protected:bool,full:bool,buffer_size:int}'], +'gc_status' => ['array{runs:int,collected:int,threshold:int,roots:int,running:bool,protected:bool,full:bool,buffer_size:int,application_time:float,collector_time:float,destructor_time:float,free_time:float}'], 'gd_info' => ['array'], 'gearman_bugreport' => [''], 'gearman_client_add_options' => ['', 'client_object'=>'', 'option'=>''], diff --git a/dictionaries/CallMap_83_delta.php b/dictionaries/CallMap_83_delta.php index 39ad21c49..75266c16c 100644 --- a/dictionaries/CallMap_83_delta.php +++ b/dictionaries/CallMap_83_delta.php @@ -23,7 +23,7 @@ return [ 'changed' => [ 'gc_status' => [ 'old' => ['array{runs:int,collected:int,threshold:int,roots:int}'], - 'new' => ['array{runs:int,collected:int,threshold:int,roots:int,running:bool,protected:bool,full:bool,buffer_size:int}'], + 'new' => ['array{runs:int,collected:int,threshold:int,roots:int,running:bool,protected:bool,full:bool,buffer_size:int,application_time:float,collector_time:float,destructor_time:float,free_time:float}'], ], 'srand' => [ 'old' => ['void', 'seed='=>'int', 'mode='=>'int'],