Geeklog Forums

There is a function edit_user present in /users.php and in admin/user.php. They seem identical.
Also, /usersettings.php has the function edit_profile. This function seems identical to the two above.
The function edit_user in /users.php is never called.

Am I correct, or have I overlooked some?
Second, if I am correct, what reason is there to have to code in this way redundant?

Thanks.