セキュリティ修正を含む「PHP 5.2.13」リリース!