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