Files
resourcespace/plugins/grant_edit/pages/setup.php
2025-07-18 16:20:14 +07:00

27 lines
885 B
PHP

<?php
#
# grant_edit setup page
#
include '../../../include/boot.php';
include '../../../include/authenticate.php'; if (!checkperm('a')) {exit ($lang['error-permissiondenied']);}
// Specify the name of this plugin and the heading to display for the page.
$plugin_name = 'grant_edit';
if(!in_array($plugin_name, $plugins))
{plugin_activate_for_setup($plugin_name);}
$plugin_page_heading = $lang['grant_edit_configuration'];
// Build the $page_def array of descriptions of each configuration variable the plugin uses.
$page_def[]= config_add_multi_group_select("grant_edit_groups",$lang["grant_edit_groups"]);
// Do the page generation ritual -- don't change this section.
config_gen_setup_post($page_def, $plugin_name);
include '../../../include/header.php';
config_gen_setup_html($page_def, $plugin_name, null, $plugin_page_heading);
include '../../../include/footer.php';