Fixes #4962 Show a useful error message when php5-json is not installed.