Extension:HeaderExtension

The HeaderExtension extension allows Scripts and Meta data 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 HTML and/or JavaScript.

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 (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 Extension:Google Analytics Integration):

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

Examples
Example (from Extension:AgeClassification):