The settings for WebTrilinos are contained in the file
WebTrilinos/common/config.php. The simplest way to update this file
is to read this page, and fill the form below. Then, by clicking on the button
at the bottom of the page, you'll have the config.php for your
system. File WebTrilinos/common/config.html explains the content of
the file.
For more details, please check the official WebTrilinos' web page.