You should run → the php-updater script ← if not yet done to fix that.
h.t.h.
Much and good luck, ernolf