v1.0.14

PHP7.4 からは JSON 拡張のバージョンが PHP のバージョンと同値になるので、7.4以前とどちらでも使えるよう JSON 拡張はバージョンを指定しないことにする。