diff --git a/web/html/index.php b/web/html/index.php index 0b5dfc87..6ee23bc5 100644 --- a/web/html/index.php +++ b/web/html/index.php @@ -46,6 +46,9 @@ if (isset($tokens[1]) && '/' . $tokens[1] == get_pkg_route()) { case "delete": include('pkgdel.php'); return; + case "merge": + include('pkgmerge.php'); + return; } if (isset($_COOKIE['AURSID'])) { diff --git a/web/html/pkgmerge.php b/web/html/pkgmerge.php new file mode 100644 index 00000000..834d0c91 --- /dev/null +++ b/web/html/pkgmerge.php @@ -0,0 +1,47 @@ + +
+ = __('Use this form to merge the package (%s%s%s) into another package. ', + '', htmlspecialchars($pkgname), ''); ?> + = __('Once the package has been merged it cannot be reversed. '); ?> + = __('Enter the package name you wish to merge the package into. '); ?> + = __('Select the checkbox to confirm action.') ?> +
+ +