Searched defs:pref (Results 1 – 2 of 2) sorted by relevance
34 public function get(string $pref, $default = null)48 public function set(string $pref, ?string $value): void
1894 function get_doku_pref($pref, $default)1908 function set_doku_pref($pref, $val)