<?php
    
$lang['chars']   ="Comma separated list of characters to be added to the Special Characters picker"; 
$lang['del_chars']   ="Comma separated list of characters to be deleted from the Special Characters picker"; 
$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.";