少々,無用心でした.せめてこれくらいの気遣いは必要ですね.どこかで誰かが$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;
}