- Status New
- Percent Complete
- Task Type Bug Report
- Category Backend/Core
- Assigned To No-one
- Operating System All
- Severity Low
- Priority Very Low
- Reported Version 1.0 devel (github master)
- Due in Version Undecided
-
Due Date
Undecided
- Votes
- Private
FS#2454 - PHP warning in admin edit user area
Since PHP7.2 shows a warning in admin area ?do=admin&area=users&user_id=1234567890, when user_id is set, but no alternative user_name parameter.
Probably related to scripts/admin.php
$id = Flyspray::UserNameToId(Req::val('user_name')); if (!$id) { $id = Req::val('user_id'); }