PHP_ARG_ENABLE([mini_xdebug],
  [whether to enable mini-xdebug],
  [AS_HELP_STRING([--enable-mini-xdebug], [Enable mini-xdebug])],
  [no])

if test "$PHP_MINI_XDEBUG" != "no"; then
  PHP_NEW_EXTENSION([mini_xdebug], [mini_xdebug.c], [$ext_shared])
fi