PHP_ARG_ENABLE(psi-maintainer-mode, whether to enable maintainer mode,
[ --enable-psi-maintainer-mode
PSI: enable maintainer mode
PHP_ARG_ENABLE(psi-maintainer-mode, whether to enable maintainer mode,
[ --enable-psi-maintainer-mode
PSI: enable maintainer mode