在外部网络上忽略Docker端口重定向

Question

这是对问题Docker-compose port forwarding的扩展（希望更简单）。

我有一个更大的应用程序，我将其简化为仅由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

我希望通过“外部”预配置网络上8080端口上的phpmyadmin进行访问。但是，我没有收到警告。 ports子句被忽略，并且phpmyadmin出现在IP 192.168.100.1。的端口80上。

使用外部网络时重定向端口的正确方法是什么？

（此问题已进一步简化。）