#3876 [docs] core.php を最新と手動マージ(マージされていたけど確認＆コメント修正の反映など)