<?php

$lang['numberedHeading']         = 'Nombre de titres';
$lang['tocPosition']             = 'Position de la table des matières';
$lang['tocPosition_o_dokuwiki']  = 'DokuWiki';
$lang['tocPosition_o_wikipedia'] = 'Wikipedia';
$lang['footer']                  = 'Pied de page, laisser vide pour désactiver le pied de page.';