General developer forum

For stuff that gets printed to user, I'd put it in the theme. For strictly server-side things, like you're talking about, I might actually put that in config.php (see here and here for more info). If it's more than a couple of lines of code, I'd put it in a file in /local which I then call from config.php.

Cheers,
Aaron