これですこれ。 http://php-users.jp/ 覚えてますか。「PHP-users.jpのコンテンツを更新する方法」という記事に書いたとおり、PHP-users.jpのコンテンツはGitHubで管理されています。そのリポジトリに対し、hidenorigotoさんから先日pullリクエストがあった…