Add php_osinfo ext source