to_header_string was a bad idea...

[old-projects.git] / philter / philter / include / plugin_header.inc.php

diff --git a/philter/philter/include/plugin_header.inc.php b/philter/philter/include/plugin_header.inc.php
index 8b044c5..fa26d49 100644 (file)
--- a/philter/philter/include/plugin_header.inc.php
+++ b/philter/philter/include/plugin_header.inc.php
@@ -13,8 +13,8 @@ class HdrPlugin extends MatchPlugin {
     function name() { return _i18n('2_hdr'); }
 
     function to_js() {
-        return
-"function(Node, data) {
+        return <<<EOF
+function(Node, data) {
     var i,j;
     var sel = 0;
     
@@ -33,7 +33,6 @@ class HdrPlugin extends MatchPlugin {
     hdr_s.options[6] = new Option('Organization:',6,false,data[1]==6);
     hdr_s.options[7] = new Option('List-Id:',7,false,data[1]==7);
     hdr_s.options[8] = new Option('X-Mailing-List:',8,false,data[1]==8);
-    hdr_s.options[9] = new Option('<"._i18n('2_daemon').">',9,false,data[1]==9);
     hdr_s.selectIndex = data[1];
     
     Node.appendChild(document.createTextNode(' '));
@@ -57,7 +56,8 @@ class HdrPlugin extends MatchPlugin {
     txt_i.setAttribute('name', Node.name+'[3]');
     txt_i.setAttribute('value', (data[3] ? data[3] : '') );
     Node.appendChild(txt_i);
-}";
+}
+EOF;
     }
 }