[Mediawiki-l] PHP 5.2.13 released

[Thomas Gries]

To whom it may concern:
PHP 5.2.13 has been released on 25.02.2010 which claims [1] to fix bug [2].

[1] http://www.php.net/ChangeLog-5.php#5.2.13
[2] http://bugs.php.net/bug.php?id=50394