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