lang/en/settings.php

<?php

$lang['numberedHeading']         = 'Numbering headings';
$lang['tocPosition']             = 'Position of TOC';
$lang['tocPosition_o_dokuwiki']  = 'DokuWiki';
$lang['tocPosition_o_wikipedia'] = 'Wikipedia';
$lang['footer']                  = 'Footer page name, empty field disables the footer';