Development, Translation, daily life, thoughts, and so on. 自分は PHP マニュアルのコミット権限を持っているが、2013年に chm のビルドインフラを引き継いだ時 以来、その権限をまともに行使したことはあまりなかった。実際 自分が対応した chm のビルドインフラのバグ報告は4回 しかないし、phpdoc 本体のコミット数も 2013年 - 2018年までの間を数えてみると 10 回あるかないかだ。 今年になり、PHPマニュアル自体があまりメンテナンスされてないっぽいな、という感覚になった。なぜかというと、高木さんや吉田さんなど、これまでよくコミットログで見かけた人たちの作業ログを見かけなくなったからである。 それでも見渡すと、日本語ロケールで最新の更新を維持しているのは全体の6割であり、少し手を加えれば最新に更新できるものを