123456789101112131415161718 |
- <?php
- echo '<div class="well">';
- if (!empty($plugin_info['settings']['hello_world_show_type'])) {
- echo "<h2>".$plugin_info['settings']['hello_world_show_type']."</h2>";
- } else {
- echo "<h2>Hello world</h2>";
- }
- echo get_lang('HelloPlugin');
- echo '</div>';
|