From 554b9acd8e7630031d886775b7e00b21335bc868 Mon Sep 17 00:00:00 2001 From: andrewryantech Date: Wed, 1 May 2019 10:50:13 +1000 Subject: [PATCH] Designate $options arg as being optional --- src/stubs.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/stubs.php b/src/stubs.php index bc065bb..9c7b024 100644 --- a/src/stubs.php +++ b/src/stubs.php @@ -7,7 +7,7 @@ * @param array $options An array of optional options, namely, the 'ignored_functions' option to pass in functions to be ignored during profiling. * @return null */ -function tideways_enable($flags = 0, array $options) +function tideways_enable($flags = 0, array $options = []) { }