mediawiki 1.12.0 complains that php4 is required

Hi, when trying to install MediaWiki version 1.12.0, I get this error: "This script cannot be installed, as it requires PHP version 4."

Temporary workaround: editing mediawiki.pl and changing the script_mediawiki_php_vers to this:
sub script_mediawiki_php_vers
{
local ($d, $ver) = @_;
return 5;
}

The source of the bug:
return $ver >= 1.7 ? ( 5 ) : ( 4 );

The test evaluates to false, because 1.12 is "smaller" than 1.7, because it looks like we're doing a decimal number comparison, rather than a "version"."point release" comparison. Tricky one.

Here's the original discussion: http://www.virtualmin.com/forums/virtualmin/mediawiki-1.12.0-required-ph...