php-pecl: add numerical prefix to extension configuration file (all done !)