*/ // for the configuration manager $lang['customtitle'] = 'Custom title for the Widget. Leave empty to use the Wiki title.'; $lang['skin'] = 'Choose the preferred skin. You can see them on the Opera page.';