こんにちは 実は私はphpが分からないので、専門的な回答はできないのですが、私がインストールした時は、マーケットからダウンロードしたものを一旦インストールし、その後4系のものを上書きしておりました。 同様の手順では如何でしょうか?