[MacPorts] #55241: base: MediaInfo: fails to upgrade in normal `port upgrade outdated` run

[MacPorts]

#55241: base: MediaInfo: fails to upgrade in normal `port upgrade outdated` run
--------------------+-----------------------
 Reporter:  Ionic   |      Owner:
     Type:  defect  |     Status:  new
 Priority:  Normal  |  Milestone:
Component:  base    |    Version:  2.4.99
 Keywords:          |       Port:  MediaInfo
--------------------+-----------------------
 Port names are case sensitive.

 Since the `mediainfo` port has been renamed to `MediaInfo` (and updated in
 the same context, which is fine), `port upgrade outdated` will not
 recognize this upgrade and carry it out.

 Weirdly, `port outdated` is not helpful in this case:

 {{{
 The following installed ports are outdated:
 [...]
 mediainfo                      0.7.99_0 < 17.10_1
 }}}

 `port upgrade outdated`:
 {{{
 Nothing to upgrade.
 }}}

 Upgrading the port "manually" via `port upgrade mediainfo` works, though.

 We probably should decide whether we want port names to be case sensitive
 or not and what to do in such edge cases.

--
Ticket URL: <https://trac.macports.org/ticket/55241>
MacPorts <https://www.macports.org/>
Ports system for macOS