Перенаправление портов Docker игнорируется во внешней сети

Question

Это расширение вопроса Переадресация портов в Docker * (и, надеюсь, проще).

У меня есть приложение большего размера, которое я сократил до этого примера, состоящего из простоphpmyadmin:

version: '3'
services:
  phpmyadmin:
    image: phpmyadmin/phpmyadmin
    environment:
    - "PMA_ARBITRARY=1"
    ports:
    - "8080:80"
    networks:
      public_net:
        ipv4_address: 192.168.100.1
networks:
  public_net:
    external: true

Я хочу сделать доступным через phpmyadmin через порт 8080 в моей «внешней» предварительно сконфигурированной сети.Тем не менее, я не получаю предупреждение.Предложение ports игнорируется, и phpmyadmin появляется на порте 80 на ip 192.168.100.1.

Как правильно перенаправить порты при использовании внешней сети?

(Этот вопрос еще более упрощен.)