/**
 * return the name and GET parameters of a bug UPDATE page for the given bug
 * account for the user preference and site override
 * @param integer $p_bug_id  A bug identifier.
 * @param integer $p_user_id A valid user identifier.
 * @return string
 */
function string_get_bug_update_url($p_bug_id, $p_user_id = null)
{
    return string_get_bug_update_page($p_user_id) . '?bug_id=' . $p_bug_id;
}

function html_button_bug_update($p_bug_id)
{
    if (access_has_bug_level(config_get('update_bug_threshold'), $p_bug_id)) {
        html_button(string_get_bug_update_page(), lang_get('update_bug_button'), array('bug_id' => $p_bug_id));
    }
}

/**
 * return the name and GET parameters of a bug UPDATE page
 * @param integer $p_bug_id  A bug identifier.
 * @return string
 */
function string_get_bug_update_url($p_bug_id)
{
    return string_get_bug_update_page() . '?bug_id=' . $p_bug_id;
}