wymeditor_path setting added twice

Becausse of #208611: Add drupal_array_merge_deep() and drupal_array_merge_deep_array() to stop drupal_add_js() from adding settings twice the wymeditor_path setting is set multiple times if multiple forms are shown. I took this code as a workaround in wymeditor.module:77:

    $js_array=drupal_add_js();
    foreach($js_array['setting'] as $setting) {
      if (array_key_exists('wymeditor_path',$setting)){$path_set=true;}
    }
    if(!$path_set){
       drupal_add_js(array('wymeditor_key' => $key, 'wymeditor_path' => url(drupal_get_path('module', 'wymeditor'))), 'setting');
    }