PHP 5.5 doesn't have JSON extension.

Make sure installer notices this specific case.