少々，無用心でした．せめてこれくらいの気遣いは必要ですね．どこかで誰かが$versionを書き換えているとイヤだなぁとは思ったのですが，admin/index.phpでversion.phpをinclude_once()で読み込んでいるので．．．

function over_moodle20()
{
    global $CFG, $version, $release;
    if ((empty($version) or empty($release)) and is_readable("$CFG->dirroot/version.php")) {
        include("$CFG->dirroot/version.php");              # defines $version
    }
    if ($version >= 2007101600) return true;
    return false;
}