Which... I wasn't even doing right: http://docs.moodle.org/dev/version.php