$def with (settings, error) $# $# This file is part of INGInious. See the LICENSE and the COPYRIGHTS files for $# more information about the licensing of this file. $# $var title: Login $def NavbarF(): $settings.get('name', '') $var Navbar: $:NavbarF()