This commit was manufactured by cvs2svn to create tag 'php_4_2_0RC3'.