Hello world!"; echo "This is a sample of minimal extension"; } /* This adds a option in the operation menu */ add_operation_menu_option ('Hello plugin!'); /* This sets the function to be called when the extension is selected in the operation menu */ add_extension_main_function ('hello_extension_main'); ?>