Extension:HeadScript

The HeadScript extension allows scripts to easily be added just before  of the wiki.

The code for the head script is defined in "LocalSettings.php" and is controlled by variables. This implementation makes it easy for inexperienced users to implement head scripts just before  of the wiki. It also makes it possible to add head scripts that cannot be changed or removed, such as would be possible by wiki administrators if the head script were added to the site notice. 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.

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). Don’t 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:

Bug
You may see a warning when you execute this extension, something like, this is a small bug. You can fix it by editing HeadScript.php and changing the line by the following line ( $type is replaced by 'other' )