function main_extention_bannedextensionlist_del()
{
    $rule_main = $_GET["rule_main"];
    $dans = new dansguardian_rules($_GET["hostname"], $rule_main);
    $dans->DelBannedExtensionList($rule_main, $_GET["bannedextensionlist_del"]);
}