New run-tests code

Hi all Stefan, Georg and I have been discussing making a small change in the new run-tests.php code that would make the implementation different from the current run-tests.php. At the moment when you use run-tests.php the test results can be affected by your php.ini file. This causes endless confusion for people that don't realise that they need to use the -n option to ignore their php.ini. We'd like to make ignoring the user's php.ini file the default behaviour in the new version. Does anyone see a problem with this? I think ini settings can always be controlled using the test's --INI-- section, however, if there is a requirement to be able to use a specific php.ini, we could add an additional option to the new run-tests.php code to allow users to specify the use of a specific php.ini file. Thoughts? Zoe