Stop storing mlid in menu_links.options (problem with Features)

Hi,

mlid is stored in menu_minipanels options in menu_links table.

  else {
    // Store mlid for later use in uniquely identifiying menu configs in the
    // Javascript.
    $form_state['values']['options']['menu_minipanels_hover']['mlid'] = $form_state['values']['mlid'];
  }

First, this is duplicating data, as mlid has its own column in menu_links table.
Secondly, when using Features to export menu_links, we don't want to export any incremental numeric id, as we cannot assure the same id will be assigned next time we install the feature.
Thus, mlid should not appear in options column of menu_links table.

I suggest that, instead of saving it in the menu_link form, this mlid should be inserted in the options array where it's necessary only.

Regards,

David