'; 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 '';