Added JSON lib for old PHP versions.