Files
doc-fr/reference/session/ini.xml
Damien Seguy 6d11b628b7 using entities
git-svn-id: https://svn.php.net/repository/phpdoc/fr/trunk@276102 c90b9560-bf6c-de11-be94-00142212c4b1
2009-02-18 20:11:44 +00:00

750 lines
25 KiB
XML

<?xml version="1.0" encoding="iso-8859-1"?>
<!-- $Revision: 1.52 $ -->
<!-- EN-Revision: 1.56 Maintainer: yannick Status: ready -->
<!-- Reviewed: yes -->
<section xml:id="session.configuration" xmlns="http://docbook.org/ns/docbook">
&reftitle.runtime;
&extension.runtime;
<para>
<table>
<title>&ConfigureOptions; pour les sessions</title>
<tgroup cols="4">
<thead>
<row>
<entry>&Name;</entry>
<entry>&Default;</entry>
<entry>&Changeable;</entry>
<entry>&Changelog;</entry>
</row>
</thead>
<tbody>
<row>
<entry><link linkend="ini.session.save-path">session.save_path</link></entry>
<entry>""</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.name">session.name</link></entry>
<entry>"PHPSESSID"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.save-handler">session.save_handler</link></entry>
<entry>"files"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.auto-start">session.auto_start</link></entry>
<entry>"0"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.gc-probability">session.gc_probability</link></entry>
<entry>"1"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.gc-divisor">session.gc_divisor</link></entry>
<entry>"100"</entry>
<entry>PHP_INI_ALL</entry>
<entry>Disponible depuis PHP 4.3.2.</entry>
</row>
<row>
<entry><link linkend="ini.session.gc-maxlifetime">session.gc_maxlifetime</link></entry>
<entry>"1440"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.serialize-handler">session.serialize_handler</link></entry>
<entry>"php"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.cookie-lifetime">session.cookie_lifetime</link></entry>
<entry>"0"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.cookie-path">session.cookie_path</link></entry>
<entry>"/"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.cookie-domain">session.cookie_domain</link></entry>
<entry>""</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.cookie-secure">session.cookie_secure</link></entry>
<entry>""</entry>
<entry>PHP_INI_ALL</entry>
<entry>Disponible depuis PHP 4.0.4.</entry>
</row>
<row>
<entry><link linkend="ini.session.cookie-httponly">session.cookie_httponly</link></entry>
<entry>""</entry>
<entry>PHP_INI_ALL</entry>
<entry>Disponible depuis PHP 5.2.0.</entry>
</row>
<row>
<entry><link linkend="ini.session.use-cookies">session.use_cookies</link></entry>
<entry>"1"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.use-only-cookies">session.use_only_cookies</link></entry>
<entry>"1"</entry>
<entry>PHP_INI_ALL</entry>
<entry>Disponible depuis PHP 4.3.0.</entry>
</row>
<row>
<entry><link linkend="ini.session.referer-check">session.referer_check</link></entry>
<entry>""</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.entropy-file">session.entropy_file</link></entry>
<entry>""</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.entropy-length">session.entropy_length</link></entry>
<entry>"0"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.cache-limiter">session.cache_limiter</link></entry>
<entry>"nocache"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.cache-expire">session.cache_expire</link></entry>
<entry>"180"</entry>
<entry>PHP_INI_ALL</entry>
<entry></entry>
</row>
<row>
<entry><link linkend="ini.session.use-trans-sid">session.use_trans_sid</link></entry>
<entry>"0"</entry>
<entry>PHP_INI_ALL</entry>
<entry>PHP_INI_ALL en PHP &lt;= 4.2.3. PHP_INI_PERDIR en PHP &lt; 5. Disponible depuis PHP 4.0.3.</entry>
</row>
<row>
<entry><link linkend="ini.session.bug-compat-42">session.bug_compat_42</link></entry>
<entry>"1"</entry>
<entry>PHP_INI_ALL</entry>
<entry>Disponible depuis PHP 4.3.0. Supprimé en PHP 6.0.0.</entry>
</row>
<row>
<entry><link linkend="ini.session.bug-compat-warn">session.bug_compat_warn</link></entry>
<entry>"1"</entry>
<entry>PHP_INI_ALL</entry>
<entry>Disponible depuis PHP 4.3.0. Supprimé en PHP 6.0.0.</entry>
</row>
<row>
<entry><link linkend="ini.session.hash-function">session.hash_function</link></entry>
<entry>"0"</entry>
<entry>PHP_INI_ALL</entry>
<entry>Disponible depuis PHP 5.0.0.</entry>
</row>
<row>
<entry><link linkend="ini.session.hash-bits-per-character">session.hash_bits_per_character</link></entry>
<entry>"4"</entry>
<entry>PHP_INI_ALL</entry>
<entry>Disponible depuis PHP 5.0.0.</entry>
</row>
<row>
<entry><link linkend="ini.url-rewriter.tags">url_rewriter.tags</link></entry>
<entry>"a=href,area=href,frame=src,form=,fieldset="</entry>
<entry>PHP_INI_ALL</entry>
<entry>Disponible depuis PHP 4.0.4.</entry>
</row>
</tbody>
</tgroup>
</table>
&ini.php.constants;
</para>
<para>
Le système de sessions dispose d'un grand nombre de directives
dans le fichier &php.ini;. En voici une présentation :
<variablelist>
<varlistentry xml:id="ini.session.save-handler">
<term>
<parameter>session.save_handler</parameter>
<type>string</type>
</term>
<listitem>
<simpara>
Définit le nom du gestionnaire
de session qui est utilisé pour stocker et relire les
données. Par défaut, c'est le système intégré
par fichiers : <literal>files</literal>. Noter que les
extensions individuelles doivent enregistrer
leurs propres gestionnaires de session. Voir aussi
<function>session_set_save_handler</function>.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.save-path">
<term>
<parameter>session.save_path</parameter>
<type>string</type>
</term>
<listitem>
<simpara>
Définit le chemin qui doit être passé
au gestionnaire de sauvegarde. Si vous décidez de
choisir le gestionnaire par défaut (par fichiers),
cet argument sera utilisé comme dossier de sauvegarde
des sessions. Voir aussi
<function>session_save_path</function>.
</simpara>
<para>
Il y a un argument optionnel <literal>N</literal> à cette directive qui détermine
la profondeur de répertoires où votre fichier de session sera stocké.
Par exemple, si vous définissez <literal>'5;/tmp'</literal>, votre fichier
sera situé dans <literal>/tmp/4/b/1/e/3/sess_4b1e384ad74619bd212e236e52a5a174If</literal>.
Si vous voulez utiliser <literal>N</literal>, vous devez créer
tous ces répertoires avant de les utiliser. Un petit script shell existe dans
<filename>ext/session</filename> pour réaliser ces créations et il se nomme
<filename>mod_files.sh</filename>, et sa version Windows porte le nom
<filename>mod_files.bat</filename>. Notez également que si <literal>N</literal>
est utilisé et est supérieur à 0, alors la routine automatique gc (garbage collection)
ne sera pas exécutée ; voir une copie de &php.ini; pour plus d'informations.
Également, si vous utilisez <literal>N</literal>, assurez-vous d'entourer
<literal>session.save_path</literal> de "doubles guillemets" car le séparateur
(<literal>;</literal>) est également utilisé pour les commentaires dans
&php.ini;.
</para>
<warning>
<para>
Si vous laissez cette option configurée avec un dossier
accessible en lecture à tout le monde, comme
<filename>/tmp</filename> (par défaut), les autres utilisateurs
pourront exploiter ces sessions en obtenant la liste de fichiers
dans ce dossier.
</para>
</warning>
<note>
<simpara>
Avant PHP 4.3.6, les utilisateurs de Windows doivent changer
cette valeur de variable pour que les fonctions de sessions de
PHP fonctionnent. Indiquez un chemin de dossier valide, par
exemple : <filename>c:/temp</filename>.
</simpara>
</note>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.name">
<term>
<parameter>session.name</parameter>
<type>string</type>
</term>
<listitem>
<simpara>
Spécifie le nom de la session,
qui sera utilisé comme nom de cookie. Il ne doit contenir que
des caractères alphanumériques. Par défaut, c'est
<literal>PHPSESSID</literal>.
Voir aussi <function>session_name</function>.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.auto-start">
<term>
<parameter>session.auto_start</parameter>
<type>boolean</type>
</term>
<listitem>
<simpara>
Spécifie si le module
de session doit démarrer automatiquement au début de
chaque script PHP. Par défaut, c'est &zero;
(désactivé).
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.serialize-handler">
<term>
<parameter>session.serialize_handler</parameter>
<type>string</type>
</term>
<listitem>
<simpara>
Définit le nom du gestionnaire qui est utilisé pour linéariser et
délinéariser les données. Actuellement, le format interne à PHP
(nommé <literal>php</literal> ou <literal>php_binary</literal>)
et WDDX (nommé <literal>wddx</literal>) sont supportés. WDDX est seulement
disponible, si PHP a été compilé avec l'option
<link linkend="ref.wddx">WDDX</link>. Par défaut, c'est <literal>php</literal>.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.gc-probability">
<term>
<parameter>session.gc_probability</parameter>
&integer;
</term>
<listitem>
<simpara>
Spécifie la probabilité, exprimée en pourcentage, en conjonction de
<literal>session.gc_divisor</literal>, que la routine gc (garbage collection)
soit démarrée à chaque requête. La valeur par défaut est &one;.
Voir <link
linkend="ini.session.gc-divisor">session.gc_divisor</link> pour plus de détails.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.gc-divisor">
<term>
<parameter>session.gc_divisor</parameter>
&integer;
</term>
<listitem>
<simpara>
<literal>session.gc_divisor</literal> en conjonction avec
<literal>session.gc_probability</literal> définit la probabilité que la routine gc
(garbage collection) soit démarrée à chaque début de session.
La probabilité est calculée en utilisant gc_probability/gc_divisor, par
exemple 1/100 signifie qu'il y a 1 % de chance pour que la routine gc
démarre à chaque requête. La valeur par défaut est <literal>100</literal>.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.gc-maxlifetime">
<term>
<parameter>session.gc_maxlifetime</parameter>
&integer;
</term>
<listitem>
<simpara>
Spécifie la durée de vie des données sur le serveur, en nombre
de secondes. Après cette durée, les données seront considérées
comme obsolètes, et supprimées. Les données deviennent obsolètes
lors du démarrage de la session.
</simpara>
<note>
<para>
Si des scripts différents ont des valeurs différentes de
<literal>session.gc_maxlifetime</literal> mais partagent le même
endroit pour y stocker les données de session, alors, le script dont la valeur
est la plus petite effacera la donnée. Dans ce cas, utilisez cette directive
conjointement avec <link linkend="ini.session.save-path">session.save_path</link>.
</para>
</note>
<note>
<simpara>
Si vous utilisez le gestionnaire de sessions par fichier,
qui est fourni par défaut, votre système doit garder la trace des
dates de dernier accès aux fichiers (atime). La FAT de Windows ne le
fait pas, il vous faudra donc trouver un autre système pour gérer
les sessions qui ont expiré. Depuis PHP 4.2.3, on utilise
mtime (date de modification) au lieu de atime.
Ainsi, vous n'aurez plus de souci avec les systèmes de fichiers qui ne gèrent
pas atime.
</simpara>
</note>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.referer-check">
<term>
<parameter>session.referer_check</parameter>
&integer;
</term>
<listitem>
<simpara>
Contient une sous-chaîne
que vous souhaitez retrouver dans tous les en-têtes HTTP Referer. Si
cet en-tête a été envoyé par le client et que la sous-chaîne n'a pas
été trouvée, l'identifiant de session sera considéré comme invalide.
Par défaut, cette option est une chaîne vide.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.entropy-file">
<term>
<parameter>session.entropy_file</parameter>
<type>string</type>
</term>
<listitem>
<simpara>
Est un chemin jusqu'à
une source externe (un fichier), qui sera utilisée comme source
additionnelle d'entropie pour la création de l'identifiant
de session. Des exemples valides sont <literal>/dev/random</literal> et
<literal>/dev/urandom</literal>, qui sont disponibles sur
tous les systèmes Unix.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.entropy-length">
<term>
<parameter>session.entropy_length</parameter>
&integer;
</term>
<listitem>
<simpara>
Spécifie le nombre d'octets
qui seront lus dans le fichier défini ci-dessus. Par défaut, il
vaut &zero;, c'est-à-dire inactif.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.use-cookies">
<term>
<parameter>session.use_cookies</parameter>
<type>boolean</type>
</term>
<listitem>
<simpara>
Spécifie si le module utilisera
les cookies pour stocker les données de session sur le client.
Par défaut, il vaut &one;, c'est-à-dire actif.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.use-only-cookies">
<term>
<parameter>session.use_only_cookies</parameter>
<type>boolean</type>
</term>
<listitem>
<simpara>
Spécifie si le module
doit utiliser <emphasis role="strong">seulement</emphasis> les cookies
pour stocker les identifiants de sessions du côté du navigateur.
En l'activant, vous éviterez les attaques qui utilisent des
identifiants de sessions dans les URL. Cette configuration a été ajoutée
en PHP 4.3.0.
Par défaut, vaut <literal>1</literal> (activé) depuis PHP 6.0.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.cookie-lifetime">
<term>
<parameter>session.cookie_lifetime</parameter>
&integer;
</term>
<listitem>
<simpara>
Spécifie la durée de vie du cookie en secondes. La valeur de
&zero; signifie : "Jusqu'à ce que le navigateur soit éteint".
La valeur par défaut est &zero;. Voir aussi
<function>session_get_cookie_params</function> et
<function>session_set_cookie_params</function>.
</simpara>
<note>
<para>
Le timestamp représentant la durée de vie du cookie est définit
par rapport au temps du serveur, qui n'est pas forcément le même
que le temps du navigateur.
</para>
</note>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.cookie-path">
<term>
<parameter>session.cookie_path</parameter>
<type>string</type>
</term>
<listitem>
<simpara>
Spécifie le chemin utilisé
lors de la création du cookie. Par défaut, il vaut <literal>/</literal>.
Voir aussi
<function>session_get_cookie_params</function> et
<function>session_set_cookie_params</function>.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.cookie-domain">
<term>
<parameter>session.cookie_domain</parameter>
<type>string</type>
</term>
<listitem>
<simpara>
Spécifie le domaine utilisé lors de la création du cookie. Par défaut,
il ne vaut rien, cela signifie que c'est le nom de l'hôte du serveur qui
génère le cookie en accord avec les spécifications sur les cookies.
Voir aussi <function>session_get_cookie_params</function> et
<function>session_set_cookie_params</function>.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.cookie-secure">
<term>
<parameter>session.cookie_secure</parameter>
<type>boolean</type>
</term>
<listitem>
<simpara>
Spécifie que les cookies ne doivent être émis que sur des
connexions sécurisées. Par défaut, cette option est à
<literal>off</literal>. Cette option a été ajoutée en
PHP 4.0.4.
Voir aussi
<function>session_get_cookie_params</function> et
<function>session_set_cookie_params</function>.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.cookie-httponly">
<term>
<parameter>session.cookie_httponly</parameter>
<type>boolean</type>
</term>
<listitem>
<simpara>
Marque le cookie pour qu'il ne soit accessible que via le protocole HTTP. Cela signifie
que le cookie ne sera pas accessible par les langage de script, comme Javascript.
Cette configuration permet de limiter les attaques comme les attaques XSS (bien
qu'elle n'est pas supporté par tous les navigateurs).
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.cache-limiter">
<term>
<parameter>session.cache_limiter</parameter>
<type>string</type>
</term>
<listitem>
<simpara>
Spécifie le type de
contrôle de cache utilisé pour les pages avec sessions. Les
valeurs possibles sont :
none, nocache, private, private_no_expire, public. Par défaut, il vaut
<literal>nocache</literal>.
Voir aussi
<function>session_cache_limiter</function>.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.cache-expire">
<term>
<parameter>session.cache_expire</parameter>
&integer;
</term>
<listitem>
<simpara>
Spécifie la durée de
vie des données de sessions, en minutes. Cette option n'a aucune
conséquence sur le contrôle de cache. Par défaut, il vaut
<literal>180</literal> (3 heures).
Voir aussi
<function>session_cache_expire</function>.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.use-trans-sid">
<term>
<parameter>session.use_trans_sid</parameter>
<type>boolean</type>
</term>
<listitem>
<simpara>
Spécifie si le support du SID est transparent ou pas. Par défaut vaut &zero;
(désactivé).
</simpara>
<note>
<simpara>
En PHP 4.1.2 ou plus ancien, cette option est activée en utilisant
l'option de compilation <link linkend="configure.enable-trans-sid">
<literal>--enable-trans-sid</literal></link>.
Depuis PHP 4.2.0, cette option est toujours activée.
</simpara>
<simpara>
Le système de gestion des sessions par URL pose un risque
supplémentaire de sécurité : un utilisateur peut envoyer
son URL avec l'identifiant de session par email à un ami,
ou bien le mettre dans ses signets. Cela diffusera alors
l'identifiant de session.
</simpara>
</note>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.bug-compat-42">
<term>
<parameter>session.bug_compat_42</parameter>
<type>boolean</type>
</term>
<listitem>
<simpara>
Les versions de PHP antérieures à la version 4.2.3
disposaient d'une
fonctionnalité/bogue non documentée, qui vous permettait
d'initialiser une variable de session dans le contexte global, même si
<link linkend="ini.register-globals">register_globals</link>
était désactivé. PHP 4.3.0 et plus récent vous préviendra de l'utilisation
de cette fonctionnalité si vous avez aussi activé
<link linkend="ini.session.bug-compat-warn">session.bug_compat_warn</link>.
Cette fonctionnalité/bogue peut être désactivée en désactivant cette directive.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.bug-compat-warn">
<term>
<parameter>session.bug_compat_warn</parameter>
<type>boolean</type>
</term>
<listitem>
<simpara>
Les versions de PHP antérieures à la version 4.2.3
disposaient d'une
fonctionnalité/bogue non documentée, qui vous permettait d'initialiser
une variable de session dans le contexte global, même si
<link linkend="ini.register-globals">register_globals</link>
était désactivé. PHP 4.3.0 et plus récent vous préviendra de l'utilisation
de cette fonctionnalité si vous avez activé
<link linkend="ini.session.bug-compat-42">session.bug_compat_42</link>
et <link linkend="ini.session.bug-compat-warn">session.bug_compat_warn</link>.
</simpara>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.hash-function">
<term>
<parameter>session.hash_function</parameter>
mixed
</term>
<listitem>
<simpara>
<literal>session.hash_function</literal> vous permet de spécifier la fonction
de hachage à utiliser pour générer les identifiants de session. '0' signifie
MD5 (128 bits) et '1' signifie SHA-1 (160 bits).
</simpara>
<para>
Depuis PHP 6.0.0, il est également possible de spécifier n'importe
quel algorithme fourni par l'<link linkend="ref.hash">extension hash</link>
(s'il est disponible), comme <literal>sha512</literal> ou
<literal>whirlpool</literal>. Une liste complète d'algorithmes peut être
obtenue avec la fonction <function>hash_algos</function>.
</para>
<note>
<para>
Cette directive a été ajoutée en PHP 5.
</para>
</note>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.session.hash-bits-per-character">
<term>
<parameter>session.hash_bits_per_character</parameter>
&integer;
</term>
<listitem>
<simpara>
<literal>session.hash_bits_per_character</literal> vous permet de définir
le nombre de bits utilisés pour chaque caractère lors des conversions des
données binaires en éléments lisibles. Les valeurs possibles sont '4' (0-9,
a-f), '5' (0-9, a-v), et '6' (0-9, a-z, A-Z, "-", ",").
</simpara>
<note>
<para>
Cette directive a été ajoutée en PHP 5.
</para>
</note>
</listitem>
</varlistentry>
<varlistentry xml:id="ini.url-rewriter.tags">
<term>
<parameter>session.url_rewriter.tags</parameter>
<type>string</type>
</term>
<listitem>
<simpara>
Spécifie quelles sont les balises HTML qui doivent
être réécrites si le support transparent du SID
est activé. Par défaut, il vaut
<literal>a=href,area=href,frame=src,input=src,form=fakeentry,fieldset=</literal>.
</simpara>
<note>
<simpara>
Si vous voulez vous conformer aux spécifications HTML/XHTML strictes, supprimez l'entrée
<literal>form</literal> et utilisez le tag &lt;fieldset&gt; autour de votre balise
form.
</simpara>
</note>
</listitem>
</varlistentry>
</variablelist>
</para>
<para>
Les options <link linkend="ini.track-vars"><literal>track_vars</literal></link> et
<link linkend="ini.register-globals"><literal>register_globals</literal></link>
influencent le comportement des sessions, leur stockage et leur restauration.
</para>
<note>
<para>
Depuis PHP 4.0.3, <link
linkend="ini.track-vars"><literal>track_vars</literal></link> est
toujours activé.
</para>
</note>
</section>
<!-- Keep this comment at the end of the file
Local variables:
mode: sgml
sgml-omittag:t
sgml-shorttag:t
sgml-minimize-attributes:nil
sgml-always-quote-attributes:t
sgml-indent-step:1
sgml-indent-data:t
indent-tabs-mode:nil
sgml-parent-document:nil
sgml-default-dtd-file:"../../../manual.ced"
sgml-exposed-tags:nil
sgml-local-catalogs:nil
sgml-local-ecat-files:nil
End:
vim600: syn=xml fen fdm=syntax fdl=2 si
vim: et tw=78 syn=sgml
vi: ts=1 sw=1
-->