str('difftype'); if(!empty($difftype)) { set_doku_pref('difftype', $difftype); } } }