'; if (!empty($plugin_info['settings']['hello_world_show_type'])) { echo '

'.$plugin_info['settings']['hello_world_show_type'].'

'; } else { echo '

Hello world

'; } //Using get_lang inside a plugin echo get_lang('HelloPlugin'); echo '';