[Mapbender-commits] r2211 - branches/2.4.5/resources/db/update
svn_mapbender at osgeo.org
svn_mapbender at osgeo.org
Sat Mar 8 09:06:55 EST 2008
Author: astrid_emde
Date: 2008-03-08 09:06:54 -0500 (Sat, 08 Mar 2008)
New Revision: 2211
Modified:
branches/2.4.5/resources/db/update/update_guis_iso.sql
branches/2.4.5/resources/db/update/update_guis_utf8.sql
Log:
the element filteredWms_layer_topic has bee removed from administration guis admin_de_services and admin_en_services
it is still present in admin1
Modified: branches/2.4.5/resources/db/update/update_guis_iso.sql
===================================================================
--- branches/2.4.5/resources/db/update/update_guis_iso.sql 2008-03-07 16:00:18 UTC (rev 2210)
+++ branches/2.4.5/resources/db/update/update_guis_iso.sql 2008-03-08 14:06:54 UTC (rev 2211)
@@ -773,7 +773,7 @@
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','editElements',2,1,'Oberflächenelemente editieren','a','','href = "../php/mod_editElements.php?sessionID" target = "AdminFrame" ',10,491,200,25,5,'','GUI editieren','a','','','','AdminFrame','http://www.mapbender.org/index.php/Edit_GUI_Elements');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','editGUI_WMS',2,1,'WMS GUI Einstellungen','a','','href="../php/mod_editGuiWms.php?sessionID"'' target="AdminFrame"',10,218,200,20,5,'','WMS Einstellungen ändern','a','','','','AdminFrame','http://www.mapbender.org/index.php/Edit_GUI_WMS');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','exportGUI',2,1,'GUI exportieren, SQL erzeugen','a','','href = "../php/mod_exportGUI.php?sessionID" target = "AdminFrame" ',10,536,200,25,10,'x','GUI exportieren (SQL)','a','','','','AdminFrame','http://www.mapbender.org/index.php/Oberfläche_exportieren_%28SQL%29');
-INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','filteredWms_layer_topic',2,1,'allocate topics to layers of wms of this user','a','','href = "../php/mod_filteredWms_layer_topic.php?sessionID&e_id_css=filteredWms_layer_topic" target = "AdminFrame" ',10,295,200,20,5,'','Kategoriezuordnung','a','','','','AdminFrame','http://www.mapbender.org/index.php/Topic_/_Category');
+
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','headline_Configure_WMS_Access',3,1,'Hintergrund WMS Zuordnung','div','','',1,175,210,63,2,'','WMS Zuordnung','div','','','','','');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','headline_GUI_Management',3,1,'Oberflächenverwaltung','div','','',1,428,210,153,2,'','GUI Verwaltung','div','','','','','');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','headline_Metadata',3,1,'Metadateneditor Caption','div','','',1,252,210,63,2,'','Metadaten','div','','','','','');
@@ -796,8 +796,8 @@
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'EditWMSMetadata', 'file_css', '../css/metadata.css', 'css-file to use for the metadata modul', 'file/css');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'body', 'body_file_css', '../css/admin_service.css', 'file/css', 'file/css');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'editGUI_WMS', 'css_file', '../css/edit_gui.css', '', 'file/css');
-INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'filteredWms_layer_topic', 'file css', '../css/administration_alloc_4.css', 'css', 'file/css');
-INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'filteredWms_layer_topic', 'language', 'de', '', 'php_var');
+
+
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'help', 'mod_help_color', '#cc33cc', 'color for highlighting', 'var');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'help', 'mod_help_text', 'click highlighted elements for help', '', 'php_var');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'help', 'mod_help_thickness', '3', 'thickness of highlighting', 'var');
@@ -816,7 +816,7 @@
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','editElements',2,1,'Edit GUI Elements','a','','href = "../php/mod_editElements.php?sessionID" target = "AdminFrame" ',10,491,200,20,5,'','Edit GUI Elements','a','','','','AdminFrame','http://www.mapbender.org/index.php/Edit_GUI_Elements');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','editGUI_WMS',2,1,'WMS GUI settings','a','','href="../php/mod_editGuiWms.php?sessionID"'' target="AdminFrame"',10,218,200,20,5,'','WMS GUI settings','a','','','','AdminFrame','http://www.mapbender.org/index.php/Edit_GUI_WMS');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','exportGUI',2,1,'Export GUI (SQL), create SQL','a','','href = "../php/mod_exportGUI.php?sessionID" target = "AdminFrame" ',10,533,200,20,10,'x','Export GUI (SQL)','a','','','','AdminFrame','http://www.mapbender.org/index.php/Oberfläche_exportieren_%28SQL%29');
-INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','filteredWms_layer_topic',2,1,'allocate topics to layers of wms of this user','a','','href = "../php/mod_filteredWms_layer_topic.php?sessionID&e_id_css=filteredWms_layer_topic" target = "AdminFrame" ',10,295,200,20,5,'','Allocate topics','a','','','','AdminFrame','http://www.mapbender.org/index.php/Topic_/_Category');
+
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','headline_Configure_WMS_Access',3,1,'WMS Assignment','div','','',1,175,210,63,2,'','WMS Assignment','div','','','','','');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','headline_GUI_Management',3,1,'GUI Management','div','','',1,428,210,148,2,'','GUI Management','div','','','','','');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','headline_Metadata',3,1,'Metadata','div','','',1,252,210,63,2,'','Metadata','div','','','','','');
@@ -839,8 +839,6 @@
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'EditWMSMetadata', 'file_css', '../css/metadata.css', 'css-file to use for the metadata modul', 'file/css');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'body', 'body_file_css', '../css/admin_service.css', 'file/css', 'file/css');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'editGUI_WMS', 'css_file', '../css/edit_gui.css', '', 'file/css');
-INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'filteredWms_layer_topic', 'file css', '../css/administration_alloc_4.css', 'css', 'file/css');
-INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'filteredWms_layer_topic', 'language', 'de', '', 'php_var');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'help', 'mod_help_color', '#cc33cc', 'color for highlighting', 'var');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'help', 'mod_help_text', 'click highlighted elements for help', '', 'php_var');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'help', 'mod_help_thickness', '3', 'thickness of highlighting', 'var');
Modified: branches/2.4.5/resources/db/update/update_guis_utf8.sql
===================================================================
--- branches/2.4.5/resources/db/update/update_guis_utf8.sql 2008-03-07 16:00:18 UTC (rev 2210)
+++ branches/2.4.5/resources/db/update/update_guis_utf8.sql 2008-03-08 14:06:54 UTC (rev 2211)
@@ -773,7 +773,7 @@
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','editElements',2,1,'Oberflächenelemente editieren','a','','href = "../php/mod_editElements.php?sessionID" target = "AdminFrame" ',10,491,200,25,5,'','GUI editieren','a','','','','AdminFrame','http://www.mapbender.org/index.php/Edit_GUI_Elements');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','editGUI_WMS',2,1,'WMS GUI Einstellungen','a','','href="../php/mod_editGuiWms.php?sessionID"'' target="AdminFrame"',10,218,200,20,5,'','WMS Einstellungen ändern','a','','','','AdminFrame','http://www.mapbender.org/index.php/Edit_GUI_WMS');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','exportGUI',2,1,'GUI exportieren, SQL erzeugen','a','','href = "../php/mod_exportGUI.php?sessionID" target = "AdminFrame" ',10,536,200,25,10,'x','GUI exportieren (SQL)','a','','','','AdminFrame','http://www.mapbender.org/index.php/Oberfl%C3%A4che_exportieren_%28SQL%29');
-INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','filteredWms_layer_topic',2,1,'allocate topics to layers of wms of this user','a','','href = "../php/mod_filteredWms_layer_topic.php?sessionID&e_id_css=filteredWms_layer_topic" target = "AdminFrame" ',10,295,200,20,5,'','Kategoriezuordnung','a','','','','AdminFrame','http://www.mapbender.org/index.php/Topic_/_Category');
+
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','headline_Configure_WMS_Access',3,1,'Hintergrund WMS Zuordnung','div','','',1,175,210,63,2,'','WMS Zuordnung','div','','','','','');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','headline_GUI_Management',3,1,'Oberflächenverwaltung','div','','',1,428,210,153,2,'','GUI Verwaltung','div','','','','','');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_de_services','headline_Metadata',3,1,'Metadateneditor Caption','div','','',1,252,210,63,2,'','Metadaten','div','','','','','');
@@ -796,8 +796,7 @@
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'EditWMSMetadata', 'file_css', '../css/metadata.css', 'css-file to use for the metadata modul', 'file/css');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'body', 'body_file_css', '../css/admin_service.css', 'file/css', 'file/css');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'editGUI_WMS', 'css_file', '../css/edit_gui.css', '', 'file/css');
-INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'filteredWms_layer_topic', 'file css', '../css/administration_alloc_4.css', 'css', 'file/css');
-INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'filteredWms_layer_topic', 'language', 'de', '', 'php_var');
+
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'help', 'mod_help_color', '#cc33cc', 'color for highlighting', 'var');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'help', 'mod_help_text', 'click highlighted elements for help', '', 'php_var');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_de_services', 'help', 'mod_help_thickness', '3', 'thickness of highlighting', 'var');
@@ -816,7 +815,7 @@
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','editElements',2,1,'Edit GUI Elements','a','','href = "../php/mod_editElements.php?sessionID" target = "AdminFrame" ',10,491,200,20,5,'','Edit GUI Elements','a','','','','AdminFrame','http://www.mapbender.org/index.php/Edit_GUI_Elements');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','editGUI_WMS',2,1,'WMS GUI settings','a','','href="../php/mod_editGuiWms.php?sessionID"'' target="AdminFrame"',10,218,200,20,5,'','WMS GUI settings','a','','','','AdminFrame','http://www.mapbender.org/index.php/Edit_GUI_WMS');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','exportGUI',2,1,'Export GUI (SQL), create SQL','a','','href = "../php/mod_exportGUI.php?sessionID" target = "AdminFrame" ',10,533,200,20,10,'x','Export GUI (SQL)','a','','','','AdminFrame','http://www.mapbender.org/index.php/Oberfl%C3%A4che_exportieren_%28SQL%29');
-INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','filteredWms_layer_topic',2,1,'allocate topics to layers of wms of this user','a','','href = "../php/mod_filteredWms_layer_topic.php?sessionID&e_id_css=filteredWms_layer_topic" target = "AdminFrame" ',10,295,200,20,5,'','Allocate topics','a','','','','AdminFrame','http://www.mapbender.org/index.php/Topic_/_Category');
+
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','headline_Configure_WMS_Access',3,1,'WMS Assignment','div','','',1,175,210,63,2,'','WMS Assignment','div','','','','','');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','headline_GUI_Management',3,1,'GUI Management','div','','',1,428,210,148,2,'','GUI Management','div','','','','','');
INSERT INTO gui_element (fkey_gui_id, e_id, e_pos, e_public, e_comment, e_element,e_src, e_attributes, e_left, e_top, e_width, e_height, e_z_index, e_more_styles, e_content, e_closetag, e_js_file, e_mb_mod, e_target, e_requires,e_url) VALUES ('admin_en_services','headline_Metadata',3,1,'Metadata','div','','',1,252,210,63,2,'','Metadata','div','','','','','');
@@ -839,8 +838,7 @@
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'EditWMSMetadata', 'file_css', '../css/metadata.css', 'css-file to use for the metadata modul', 'file/css');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'body', 'body_file_css', '../css/admin_service.css', 'file/css', 'file/css');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'editGUI_WMS', 'css_file', '../css/edit_gui.css', '', 'file/css');
-INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'filteredWms_layer_topic', 'file css', '../css/administration_alloc_4.css', 'css', 'file/css');
-INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'filteredWms_layer_topic', 'language', 'de', '', 'php_var');
+
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'help', 'mod_help_color', '#cc33cc', 'color for highlighting', 'var');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'help', 'mod_help_text', 'click highlighted elements for help', '', 'php_var');
INSERT INTO gui_element_vars(fkey_gui_id, fkey_e_id, var_name, var_value, context, var_type) VALUES ('admin_en_services', 'help', 'mod_help_thickness', '3', 'thickness of highlighting', 'var');
More information about the Mapbender_commits
mailing list