On Apr 7, 2005, at 4:22am, Bret Wortman wrote:
I'd like to find a simple way to include a header
at the top of every
page, but I'm not terribly fluent in PHP. Can anyone point me in the
right direction?
In LocalSettings.php, set,
$wgSiteNotice = "<Your Header>";
<Your Header> can be relatively complex HTML and seems to be used
exactly as is, despite a notation in DefaultSettings.php that it will
be bolded.
John Blumel