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