"REPOSITORY/MDL-13766, allow use repository name with numbers in it"

diff --git a/admin/repository.php b/admin/repository.php
index a856ef22e37d8d7b15f5883a52ab996b03cce543..7ad659a5f48e0f8c1db29a0fd58620b2399159ea 100644 (file)
--- a/admin/repository.php
+++ b/admin/repository.php
@@ -6,13 +6,13 @@ require_once($CFG->libdir . '/adminlib.php');
 
 $CFG->pagepath = 'admin/managerepositories';
 
-$edit    = optional_param('edit', 0, PARAM_ALPHAEXT);
+$edit    = optional_param('edit', 0, PARAM_ALPHANUM);
 $new     = optional_param('new', '', PARAM_FORMAT);
 $hide    = optional_param('hide', '', PARAM_ALPHANUM);
-$delete  = optional_param('delete', 0, PARAM_ALPHAEXT);
+$delete  = optional_param('delete', 0, PARAM_ALPHANUM);
 $sure    = optional_param('sure', '', PARAM_ALPHA);
-$move    = optional_param('move', '', PARAM_ALPHAEXT);
-$type    = optional_param('type', '', PARAM_ALPHAEXT);
+$move    = optional_param('move', '', PARAM_ALPHANUM);
+$type    = optional_param('type', '', PARAM_ALPHANUM);
 
 $display = true; // fall through to normal display