1<?php
2
3$lang['numberedHeading']         = 'Numbering headings';
4$lang['tocPosition']             = 'Position of TOC';
5$lang['tocPosition_o_dokuwiki']  = 'DokuWiki';
6$lang['tocPosition_o_wikipedia'] = 'Wikipedia';
7$lang['footer']                  = 'Footer page name, empty field disables the footer';
8