Lines Matching refs:function
38 function is_primary_site($site = false)
47 function is_official_mirror($site = false)
54 function default_language($site = false)
63 function mirror_provider($site = false)
81 function mirror_provider_url($site = false)
99 function mirror_type($site = false)
116 function mirror_redirect($absoluteURI): void
138 function mirror_setcookie($name, $content, $exptime)
151 // Use this function to write out proper headers on
153 function header_nocache(): void
163 function get_available_sqlites() {
190 function get_manual_search_sections() {
192 "", "book.", "ref.", "function.", "class.",
198 function get_shortname($page) {
