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?
Thanks!
Bret Wortman
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
mediawiki-l@lists.wikimedia.org