php-pecl: add numerical prefix to extension configuration file (4)