<?php

$lang['indexnames'] = "Index names for toolbar (each index name on a new line)";
$lang['separator']  = "Separator chars to put between number and description";