src/UI/Output.php
function topNavSession($menuset) {
        global $CFG;
        $export = $menuset->export();
        $sess_key = 'tsugi_top_nav_'.$CFG->wwwroot;
        if ( $this->session_get($sess_key) !== $export) {
            $this->session_put($sess_key, $export);
        }
    }
function topNavSession($menuset) {
        global $CFG;
        $export = $menuset->export();
        $sess_key = 'tsugi_top_nav_'.$CFG->wwwroot;
        if ( $this->session_get($sess_key) !== $export) {
            $this->session_put($sess_key, $export);
        }
    }
function topNavSession ( $ menuset ) { global $ CFG ; $ export = $ menuset -> export ( ) ; $ sess_key = 'tsugi_top_nav_' . $ CFG -> wwwroot ; if ( $ this -> session_get ( $ sess_key ) !== $ export ) { $ this -> session_put ( $ sess_key , $ export ) ; } }
Store the top navigation in the session
Store the top navigation in the session