php-pecl: add numerical prefix to extension configuration file