function curl($path, $options = []) { $domain = 'https://api.github.com/'; $url = $domain . $path; return execute_curl($url, $options); }
function rest_delete($table, $id) { $ch = get_curl($table, $id); curl_setopt($ch, CURLOPT_CUSTOMREQUEST, 'DELETE'); return execute_curl($ch); }