====== Ivan Investigation ======

==== json.so missing ====

Got mail saying that json.so is missing. 

   * apt-get remove php5-json
   * apt-get install php5-json

This caused json.so to be reinstalled in /usr/lib/php5/20131226

5/6/2016