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
Modification effectuée par b_b