[php-maint] Bug#567078: Bug#567078: PHP 5.3.1 is not compatible with MediaWiki. Upgrade to PHP 5.3.2 or higher.

[jidanni at jidanni.org]

Newset SVN Mediawiki stops outright if the wrong version is detected.
Hence the user will skip the bug titled "...sessions" as there is no way
he assumes it could be the same bug, as he would have never got that far
running Mediawiki.