Fix bug #18665: pecl extensions not enabled in empty php.ini files