+addMenuDescription('admin', __FILE__);
+
+if (isFormSent()) {
+ // Replace german decimal comma with computer decimal dot
+ if (isPostRequestParameterSet('refback_min_perc')) setPostRequestParameter('refback_min_perc', convertCommaToDot(postRequestParameter('refback_min_perc')));
+ if (isPostRequestParameterSet('refback_max_perc')) setPostRequestParameter('refback_max_perc', convertCommaToDot(postRequestParameter('refback_max_perc')));