php 5.5: drop JSON extension