upgradeしろって話は置いといて、とりあえずconfig.inc.phpに書いときゃもう出ない。 インストールするたびに忘れるんでメモ。 ubuntu18.04 で普通にapt install して入れたら、古いのが入ってくるのでまあしょうがない。手元の開発環境だし問題ない。 $cfg[…