diff options
| author | Bot <bot@myigel.name> | 2017-01-21 19:47:44 +0100 |
|---|---|---|
| committer | Igor Scheller <igor.scheller@igorshp.de> | 2017-01-21 20:12:48 +0100 |
| commit | 740026a9de6cba73c4e77aba78950d0a791b6b62 (patch) | |
| tree | 187eb8fc8bccf731c095c00d6f8108ba0f4b8b06 /includes/pages/admin_arrive.php | |
| parent | 915ce28feeb9104bf7854ccbd80caebb5dce4aaa (diff) | |
Replaced [0-9] with \d
Diffstat (limited to 'includes/pages/admin_arrive.php')
| -rw-r--r-- | includes/pages/admin_arrive.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/pages/admin_arrive.php b/includes/pages/admin_arrive.php index 0080ccf9..77155dae 100644 --- a/includes/pages/admin_arrive.php +++ b/includes/pages/admin_arrive.php @@ -21,7 +21,7 @@ function admin_arrive() $search = strip_request_item('search'); } - if (isset($_REQUEST['reset']) && preg_match('/^[0-9]*$/', $_REQUEST['reset'])) { + if (isset($_REQUEST['reset']) && preg_match('/^\d*$/', $_REQUEST['reset'])) { $user_id = $_REQUEST['reset']; $user_source = User($user_id); if ($user_source != null) { @@ -37,7 +37,7 @@ function admin_arrive() } else { $msg = error(_('Angel not found.'), true); } - } elseif (isset($_REQUEST['arrived']) && preg_match('/^[0-9]*$/', $_REQUEST['arrived'])) { + } elseif (isset($_REQUEST['arrived']) && preg_match('/^\d*$/', $_REQUEST['arrived'])) { $user_id = $_REQUEST['arrived']; $user_source = User($user_id); if ($user_source != null) { |