evanpro

if (!is_null($wgVersion) &&    array_shift($va = (explode('.', $wgVersion))) == '1' &&    array_shift($va) == '5') {    echo "Version match.\n";} else {    echo "Bad version!";}