configure: add --enable-psi-maintainer-mode
authorMichael Wallner <mike@php.net>
Thu, 2 Feb 2017 15:00:02 +0000 (16:00 +0100)
committerMichael Wallner <mike@php.net>
Thu, 2 Feb 2017 15:00:02 +0000 (16:00 +0100)

No differences found