I work for a university, and i\'m implementing a PHP web app that needs to have different behavior when it is visited from one certain computer. The problem i am running in
Change Firefox's user agent header to something that uniquely identifies that machine, you can then extract this string in PHP from $_SERVER['HTTP_USER_AGENT'].