From: Pierre Habouzit Date: Mon, 8 Sep 2003 11:10:45 +0000 (+0000) Subject: html cleaning X-Git-Tag: procmail~58 X-Git-Url: http://git.polytechnique.org/?p=old-projects.git;a=commitdiff_plain;h=242c14dcc552bebdf4e6f7f92c32cb6d0a045efb html cleaning --- diff --git a/philter/philter/include/emails.inc.php b/philter/philter/include/emails.inc.php index cac401f..074cc32 100644 --- a/philter/philter/include/emails.inc.php +++ b/philter/philter/include/emails.inc.php @@ -112,9 +112,8 @@ class EmailPool { $res .= "\n" . " \n" - . "\n"; - - $res .= "\n\n"; + . "\n" + . "\n\n"; $val = 'your email ...'; @@ -123,7 +122,7 @@ class EmailPool { . "\n" . " \n" - . " \n" + . " \n" . "\n" . "\n\n"; diff --git a/philter/philter/index.php b/philter/philter/index.php index 5f4ab09..b8819ce 100644 --- a/philter/philter/index.php +++ b/philter/philter/index.php @@ -40,10 +40,9 @@ require("include/js_factory.inc.php"); /********** globals plugins **********/ if(count($philter->config['global_plugin'])) { - echo "\n" - ."
\n" + echo "\n" ."\n" - .""; + ."\n"; foreach($philter->config['global_plugin'] as $g_plugin) { echo "
Global rules
Global rules
\n"; @@ -64,9 +63,10 @@ if(count($philter->config['global_plugin'])) {
to_form(); +?> +
-echo "\n\n"; - + @@ -78,12 +78,12 @@ echo "\n\n"; rules as $id=>$rule) - echo "rank}\" />\n"; + echo "rank}\" />\n"; $presel = (isset($_POST['rule']['id']) ? $_POST['rule']['id'] : (isset($_POST['order']['select']) ? $_POST['order']['select'] : 0)); - echo "\n"; echo "\n"; @@ -108,19 +108,19 @@ echo "\n\n";
Rule Configuration
- + Name of this rule : -
- All matches - One match + All matches + One match
- Blocking Rule + Blocking Rule
Matches List -
+
Actions List -
+
diff --git a/philter/philter/philter.js b/philter/philter/philter.js index 38852d8..9ccd363 100644 --- a/philter/philter/philter.js +++ b/philter/philter/philter.js @@ -21,7 +21,7 @@ function cleanChilds(Node, nbChilds) { Node.removeChild(Node.childNodes[nbChilds]); } -function getElement(obj, index) { +function getElement(obj) { if(document.getElementById) return document.getElementById(obj); if(document.all) @@ -37,7 +37,7 @@ function del_onsubmit() { function order_up() { form = document.forms['order']; - select = form.elements['order[select]']; + select = getElement('orderSelect'); if(select.selectedIndex>1) { i = select.selectedIndex; @@ -50,14 +50,14 @@ function order_up() { select.options[i-1] = new Option(text1,value1,false,false); select.selectedIndex = i-1; - form.elements['order['+value1+']'].value = i-1; - form.elements['order['+value2+']'].value = i; + form.elements['order'+value1].value = i-1; + form.elements['order'+value2].value = i; } } function order_dn() { form = document.forms['order']; - select = form.elements['order[select]']; + select = getElement['orderSelect']; if(select.selectedIndex>0 && select.selectedIndex