1 <?php 2 3 $lang['chars'] ="Comma separated list of characters to be added to the Special Characters picker"; 4 $lang['del_chars'] ="Comma separated list of characters to be deleted from the Special Characters picker"; 5 $lang['del_all'] ="Remove all characters except the list of added characters; makes it possible to create a totally user-defined set of special characters."; 6