I tried to update to mediawiki138 today, but when I try to run "php maintenance/update.php" I get: justinrainbow/json-schema: not installed, 5.2.11 required. (13.1-R, tried both php81 and php74 flavors)
(In reply to Poul-Henning Kamp from comment #0) Seems we have to create new port php80-json-schema for it.