WordPressの前提ソフトであるphpで、障害が発生した。経緯と解決法をメモしておく。
[症状の概要]
WorddPressには内蔵のイメージ・エディターがあり、php7.3.5では正常に作動していたがphp7.4.1では稼働しない。ちなみにWordPressは5.5.1。
[7.3.5での動作]
メディア・ライブラリを開いて、編集すべきイメージを選択すると、イメージが表示され、その下部に「画像を編集」というボタンが表示される。ボタンを押すと当該イメージのサムネール画像が表示され、イメージに対する操作（切り抜き、回転、反転、縮小など）が行える。
[7.4.1での動作]
メディア・ライブラリからイメージを選択しても、「画像を編集」というボタンが表示されず、従ってイメージの編集もできない。
[対応]
php7.4.1 を7.3.5にダウングレードした。
[経過]
php7.3から7.4にアップグレードしたのには確たる目的はなく、新版がリリースされたから惰性で更新した（いつだったか記憶も定かではない）。画像トリミングの必要が生じ、エディターを使おうとしたら、「画像の編集」ボタンが表示されず、初めはなにの障害なのか皆目検討がつかなかった。ネットで情報を探しても、解決につながるような記事は見つけられず、まずプラグインを疑って、色々の設定を変更してみたり、機能停止したりを試みたが、ヒットせず。次にWordPressのバージョンアップを疑い、サンドボックス環境を用意して、phpとWordPressの組み合わせを様々に変えてみると、問題はphp7.4で発生する、と特定できた。開発環境（記事を編集している環境）のphpを7.4.1から7.3.5にダウングレードすると、不具合は消えた。phpの次期アップデートで問題が解決されることを願う。
開発環境はLocal_by_Flywheelで構成しているので、phpのダウングレード/アップグレードはワンアクションで簡単に実施できる。そこに辿り着くまでの試行錯誤は苛立たしく長い道のりだったが。