Fixed PHP-1096: PHP crashes due to null pointer dereference on shutdown when JSON extension is not present
Merged pull request #698
Fixed PHP-1052: Replace JSON encoding of stream notifications with standard PHP serialize encoding.
Git rid of it in the config files too.