whats the use of parameters http_domain / http_prefix? Should all references to $_SERVER["SERVER_NAME"] and TIKI_ROOT_URL point to these instead?
when you login to TP, it takes you to /users/my.php - but clicking on My Homepage takes you to /users/index.php?fHomepage=admin - which one is correct? Are they supposed to be the same?
should everything in setup_inc.php below tiki_login_overrider() be moved to /users?