Export JsonSerializable Interface (bug #65753)
Merge branch 'PHP-5.4' into PHP-5.5

* PHP-5.4:
  Export JsonSerializable Interface (bug #65753)