Fonctions obsolètes dans `inc/json.php`

On pourrait déjà retirer notre "polyfill" pour json_encode() et mettre à jour json_export() qui n'est utilisé que dans https://git.spip.net/SPIP/spip/src/branch/master/ecrire/inc/filtres_selecteur_generique.php