Searched refs:set_doku_pref (Results 1 – 3 of 3) sorted by last modified time
31 set_doku_pref('show_changes', $show_changes);
31 set_doku_pref('difftype', $difftype);
1950 function set_doku_pref($pref, $val)1917 function set_doku_pref($pref, $val) { global() function