www.php.netのマニュアルが更新された

The new builds are now online, thanks to everyone including Derick and
Hannes for helping make this happen today. Builds will now
automatically take place weekly each Friday, although the doc server
(docs.php.net) will continue to build four times daily. Woohoo! Now,
start adding new content! :)

PHP公式サイトのマニュアルが、約5か月ぶりに更新されました。今後は毎週金曜日に最新版に更新されるようです。一方 http://docs.php.net/manual/ja/ もそのまま残り、こちらは今までどおりは毎日4回更新されるとのこと。

ダウンロードページからも最新版が取得できるようになったようなので、これの役割も終了かな……。当面は残しておきますが、本家をあたったほうがより快適にダウンロードできるはずです。