I suppose this would have to be the case. I did think about major, major_minor, major_minor_release and major_minor_release_extra (for _dev).
But then that is a HUGE number of options. But, you DON'T have to use them. The fallback is EXACTLY as it is at the moment. If that is OK, then I'll add the whole hog (but maybe NOT the release_extra). On 17/07/06, Ron Korving <[EMAIL PROTECTED]> wrote:
What kind of extensions would you suggest people use? index.php51 ? - Ron "Edin Kadribasic" <[EMAIL PROTECTED]> schreef in bericht news:[EMAIL PROTECTED] > Hi Richard, > > I think your ini changes should be put into PHP. I have a small feature > request. Since we're modifying the way ini files are picked up we might > as well add support for minor version numbers since PHP is not binary > compatible between minor version releases. That would allow people to > run 5.0 5.1 and 5.2 in the same system. > > Edin > >
-- ----- Richard Quadling Zend Certified Engineer : http://zend.com/zce.php?c=ZEND002498&r=213474731 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
