Searched refs:pref (Results 1 – 1 of 1) sorted by last modified time
1920 * @param string $pref preference key1924 function get_doku_pref($pref, $default)1926 $enc_pref = urlencode($pref);1947 * @param string $pref preference key1950 function set_doku_pref($pref, $val)1953 $orig = get_doku_pref($pref, false);1959 // urlencode $pref for the comparison1960 $enc_pref = rawurlencode($pref);1982 rawurlencode($pref) . '#' . rawurlencode($val);1892 get_doku_pref($pref, $default) global() argument 1917 set_doku_pref($pref, $val) global() argument