9dd275905a29605a62958fa44b8f4538758a532d
2 if(count($_POST)) { // a FORM has been submitted
3 if(isset($_POST['global'])) { // FORM global
4 foreach($philter->config
['global_plugins'] as $id=>$g_plugin)
5 if(isset($_POST['global'][$id]))
6 $filter->set_global_data($id,$_POST['global'][$id]);
7 $filter->rules
[0]->sql_store(get_user_id(),0);
8 $philter->write_procmailrc($filter->to_string(), get_filename());
10 if(isset($_POST['emails'])) { // FORM emails
11 if(!$mail_pool->handle_form())
12 echo "<p style=\"color:red;\">".$philter->error()."</p>\n";
13 $philter->write_procmailrc($filter->to_string(), get_filename());
17 <div
class="rubrique"><?php
i18n('global_title'); ?
></div
>
20 if(count($philter->config
['global_plugins'])) {
21 echo "<form action=\"{$_SERVER['REQUEST_URI']}\" method=\"post\">\n"
22 ."<table width=\"95%\" class=\"bicol\" cellspacing=\"1\" cellpadding=\"1\" align=\"center\">\n";
25 foreach($philter->config
['global_plugins'] as $id=>$g_plugin) {
26 echo "<tr><td class='".($pair ?
'pair':'impair')."'>\n";
27 echo $g_plugin->to_form($filter->get_global_data($id));
32 echo "</table><br />\n"
33 ."<center><input type='submit' name='global[submit]' value='"
34 ._i18n('apply_changes')."'/></center\n"
38 /********** emails **********/
41 <div
class="rubrique"><?php
i18n('pool_title'); ?
></div
>
44 echo $mail_pool->to_form();
46 <div
class="rubrique"><?php
i18n('filter_adv'); ?
></div
>
47 <?php
i18n('filter_adv_txt'); ?
>
48 <form action
="<?php echo $_SERVER['REQUEST_URI'] ?>" method
="post">
50 <input type
="submit" value
='<?php i18n('filter_adv
') ?>' name
='set_adv' />