diff options
author | Lukas Fleischer <lfleischer@archlinux.org> | 2015-09-11 21:56:51 +0200 |
---|---|---|
committer | Lukas Fleischer <lfleischer@archlinux.org> | 2015-09-11 22:14:28 +0200 |
commit | c5014b0752d2544cfb04522bda164e89246702bd (patch) | |
tree | 55e2158c7c06228026d6c852711374f4d09f12c0 /web/html/addvote.php | |
parent | 396e50bdc88feae9d0048d1c3dab776388d96dc7 (diff) |
Remove superfluous function valid_user()
This helper function was almost 100% identical to uid_from_username().
Switch to using uid_from_username(), which has a much better name and
implementation, everywhere.
Signed-off-by: Lukas Fleischer <lfleischer@archlinux.org>
Diffstat (limited to 'web/html/addvote.php')
-rw-r--r-- | web/html/addvote.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/html/addvote.php b/web/html/addvote.php index 0372518..d152941 100644 --- a/web/html/addvote.php +++ b/web/html/addvote.php @@ -24,7 +24,7 @@ if (has_credential(CRED_TU_ADD_VOTE)) { $error = ""; if (!empty($_POST['user'])) { - if (!valid_user($_POST['user'])) { + if (!uid_from_username($_POST['user'])) { $error.= __("Username does not exist."); } else { |