are "definitions" ... using "full text" is more generic
$string['noentries'] = "No entries found in this section";
$string['noentry'] = "No entry found.";
$string['question'] = "Question";
-$string['searchindefinition'] = "Search definitions too";
+$string['searchindefinition'] = "Search full text";
$string['secondaryglossary'] = "Secondary glossary";
$string['showspecial'] = "Show 'Special' link";
$string['showalphabet'] = "Show alphabet";