update ini-set.xml

Hello, In last days, I've made a tool to update the ini-set.xml file. Full source code at: http://testes.aborla.net/ini-update.php It searches for the ini settings in the php-src folder (and searches also for C macros) and updates automaticaly the file (even if the content of it has been changed). It has an array, that I think isn't complete, with the functions which permissions are '&php.ini; only'. Are there any missing functions? disable_functions disable_classes safe_mode expose_php ....? Some ini confs have the permissions 'PHP_INI_PERDIR|PHP_INI_SYSTEM'. Isn't this equal to 'PHP_INI_PERDIR'? If not, this should be explained in this file. If yes, I could change this automatically. What do you think about this program? Can I update the ini-set.xml file? Do you want me to commit this program to phpdoc/scripts folder? Wasn't there other program to do this?... Where is it? Maybe we could merge the two programs to improve the performance. Nuno