1<?php
2
3$lang['numberedHeading']         = 'Überschriften nummerieren';
4$lang['tocPosition']             = 'Position des Inhaltsverzeichnisses';
5$lang['tocPosition_o_dokuwiki']  = 'DokuWiki';
6$lang['tocPosition_o_wikipedia'] = 'Wikipedia';
7