Skip to content

Use $_SERVER['SERVER_NAME'] if we're not at localhost, else just use framasite as the site name

Thomas requested to merge frama into master

Merge request reports