cvs: phpdoc /fr/appendices resources.xml

dams Thu Aug 2 05:50:39 2001 EDT Modified files: /phpdoc/fr/appendices resources.xml Log: Added aspell Index: phpdoc/fr/appendices/resources.xml diff -u phpdoc/fr/appendices/resources.xml:1.9 phpdoc/fr/appendices/resources.xml:1.10 --- phpdoc/fr/appendices/resources.xml:1.9 Fri Jul 27 07:44:27 2001 +++ phpdoc/fr/appendices/resources.xml Thu Aug 2 05:50:38 2001 @@ -1,8 +1,9 @@ <appendix id="resources"> <title>Types des ressources PHP</title> <para> - Voici la liste des fonctions qui cr&eacute;ent, utilisent ou d&eacute;truisent les - ressources PHP. Vous pouvez d&eacute;terminer si une variable contient une + Voici la liste des fonctions qui cr&eacute;ent, utilisent + ou d&eacute;truisent les ressources PHP. Vous pouvez + d&eacute;terminer si une variable contient une ressource avec la fonction <function>is_resource</function>, et le type d'une ressource que vous utilisez avec la fonction <function>get_resource_type</function>.