From 4698888365f0f95a30891a37f0ace8662718d6d7 Mon Sep 17 00:00:00 2001 From: Ad Schellevis Date: Mon, 14 May 2018 11:43:32 +0200 Subject: [PATCH] debug package, add xdebug settings to /usr/local/etc/php/ for better detachement. --- devel/debug/Makefile | 2 +- devel/debug/src/etc/php/ext-20-xdebug-settings.ini | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 devel/debug/src/etc/php/ext-20-xdebug-settings.ini diff --git a/devel/debug/Makefile b/devel/debug/Makefile index 0bb1b0023..c7ebd68bf 100644 --- a/devel/debug/Makefile +++ b/devel/debug/Makefile @@ -1,5 +1,5 @@ PLUGIN_NAME= debug -PLUGIN_VERSION= 1.2 +PLUGIN_VERSION= 1.3 PLUGIN_COMMENT= Debugging Tools PLUGIN_DEPENDS= php${PLUGIN_PHP}-pear-PHP_CodeSniffer \ php${PLUGIN_PHP}-pecl-xdebug \ diff --git a/devel/debug/src/etc/php/ext-20-xdebug-settings.ini b/devel/debug/src/etc/php/ext-20-xdebug-settings.ini new file mode 100644 index 000000000..74cba733b --- /dev/null +++ b/devel/debug/src/etc/php/ext-20-xdebug-settings.ini @@ -0,0 +1,2 @@ +xdebug.profiler_enable_trigger = 1 +xdebug.profiler_output_name = cachegrind.out.%t.%p