Changeset 313
- Timestamp:
- 05/08/06 08:41:31 (3 years ago)
- Files:
-
- devel/profile/edit.php (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
devel/profile/edit.php
r302 r313 13 13 } 14 14 if (empty($profile_id)) { 15 // fetch from GET/POST param 15 16 $profile_id = optional_param('profile_id', -1, PARAM_INT); 17 18 // if it wasn't in GET/POST but we have a valid session, use it 19 if ($profile_id === -1 && isset($_SESSION['userid'])) { 20 $profile_id = $_SESSION['userid']; 21 } 22 16 23 $profile_name = run("users:id_to_name", $profile_id); 17 24 }
