Linux php : ajout de json

Json est une extension pour JavaScript et php.
Ajout de l’extension Json : il faut aller la récupérer sur le site du créateur (http://aurore.net/), la compiler (make), l’installer (make install), et ensuite, ce qui n’est pas précisé (sauf ici), aller voir dans le fichier php.ini qui est très souvent dans /etc, où se situe le répertoire des extensions extension_dir, c’est sûrement, ici aussi, extension_dir = "/usr/lib".
Il suffit alors de copier le fichier json.so généré dans le répertoire des extensions, ici /usr/lib.
Rien de plus simple !
Résumé très rapide (il faut faire quelques manips en plus, mais le plus important est là) :

1. wget http://aurore.net/projects/php-json/php-json-ext-1.2.1.tar.bz2
2. tar -xvf php-json-ext-1.2.1.tar.bz2
3. cd php-json-ext-1.2.1/
4. ./configure ; make ; make install
5. cp /usr/local/lib/php/extensions/no-debug-non-zts-20050922/json.so /usr/lib