. // app-specific management interface error_reporting(E_ALL); ini_set('display_errors', true); ini_set('display_startup_errors', true); require_once("../inc/submit_util.inc"); require_once("../inc/util.inc"); function main_page($app) { page_head("Management functions for $app->name"); echo " id&action=app_version_form>Manage app versions
id&action=permissions_form>Manage user permissions
id&action=batches_form>Manage jobs "; page_tail(); } function app_version_form($app) { page_head("Manage app versions"); echo "