$def with (course, scoreboards) $# $# This file is part of INGInious. See the LICENSE and the COPYRIGHTS files for $# more information about the licensing of this file. $# $var title: $:course.get_name(user_manager.session_language()) - Available scoreboards $def NavbarF(): $var Navbar: $:NavbarF()