<?php

$lang['numberedHeading']         = 'Überschriften nummerieren';
$lang['tocPosition']             = 'Position des Inhaltsverzeichnisses';
$lang['tocPosition_o_dokuwiki']  = 'DokuWiki';
$lang['tocPosition_o_wikipedia'] = 'Wikipedia';