Extension:PreToClip

Introduction
Adds a "Copy to clipboard"-Button to every &lt;pre&gt;-Tag. It works even with firefox.

This extension is using the excellent Javascript and Flash from https://github.com/zeroclipboard/ZeroClipboard presented on http://zeroclipboard.github.io/ZeroClipboard/

Requirements
Needs ZeroClipboard from http://zeroclipboard.github.io/ZeroClipboard/

Installation
1. Create Folder extensions/PreToClip/

2. Create Folder extensions/PreToClip/ZeroClipboard

3. Download ZeroClipboard from http://zeroclipboard.github.io/ZeroClipboard/ and extract it into the ZeroClipboard-Folder.

4. Store the file below to extensions/PreToClip/PreToClip.php

5. Add a call to it at the end of LocalSettings.php: