error_log() bug on PHP 5.4.11?

Hi, When I call error_log() to log a message to the log file, I end up with duplicate entries. Here is a minimal test script which reproduces the problem for me: <?php ini_set('error_log', 'C:\Apache2\htdocs\myapp\app\logs\error_log'); error_log('some log message that, via a bug, will be logged twice'); ?> will log: [30-Jan-2013 09:41:13 UTC] some log message that, via a bug, will be logged twice [30-Jan-2013 09:41:13 UTC] some log message that, via a bug, will be logged twice If it matters, I am running the VC9 x86 Thread Safe build of PHP 5.4.11 on a Windows XP box but I had seen this problem in PHP 5.3.6 as well. I am running Apache 2.2 for Web server. Can somebody confirm whether this is a bug? I checked the bug database on php.net but did not find anything relevant. Best regards J.S.