[Mediawiki-l] PHP 5.2.13 released