$ docker run -it --rm --name my-running-script -v "$PWD":/usr/src/myapp -w /usr/src/myapp php:7.2-cli php your-script.php
バージョン変える
$ docker run -it --rm --name my-running-script -v "$PWD":/usr/src/myapp -w /usr/src/myapp php:7.3.12-cli php your-script.php
phpbrewでもphpenvでも似たような問題が起きているし、そもそもPHPの挙動をさくっと試したいだけなのに色々なモジュールと整合性を取ろうとしてわけがわからなくなっているから、本当に言語の挙動を確認したいだけだったらphp-cliなコンテナを立ち上げてそこで作業したほうが良い気がしてきた