Extension:HeaderExtension

The HeaderExtension extension allows Scripts and to easily be added just before the  tag of the wiki.

The code for the head Scripts and Meta date are defined in " " and is controlled by variables. This implementation makes it easy for inexperienced users to implement head Scripts and Meta date just before the tag of the wiki. It also makes it possible to add head Scripts and Meta date that cannot be changed or removed, such as would be possible by wiki if the head Scripts and Meta date were added to the. This makes the extension particularly useful for placing Cookie Consent plugin or CSS style links, as such content cannot be removed by abusive or rogue administrators.

Configuration
One or more head scripts can be added to the wiki. The head scripts can consist of any.

Scheme
To configure the head script, add the following to LocalSettings.php after the installation line:

Leave untouched the first and last line with START_END_MARKER stuff, this is a special syntax of PHP (without it, it would be tricky to deal with apostrophes inside the script). Do not add whitespaces around the last line’s marker, it would break it ([ https://secure.php.net/language.types.string#language.types.string.syntax.nowdoc more details about this syntax]). ''' Do add new line after. '''

To add additional scripts, simply include them between the markers:

You may specify a name for the script too if needed, add the following after the installation line:

Examples
Example (from ):

Scheme
To configure the head meta data, add the following to LocalSettings.php after the installation line:

Examples
Example (from ):