The machine name is not quoted anymore leading to duplicates when
saving the environment indicator record.

Pass the port information when opening the current page in a
different environment.

Avoid generating an error in newer jQuery versions with the way we
are using jQuery.once().

Use the weight property to sort the environments list in the admin
screen, instead of sorting by alphabetic order.

Check for admin_menu module.

Avoid interference with themes that butcher theme_item_list.