Extension:MediaLoader

Media Loader is an extension made to help optimize pages with a lot of media players and keep pages tidy

GitHub Username: FunPL

GitHub Project: MediaWiki-MediaLoader

Installation

 * 1) Download the extension from GitHub (/releases/latest)
 * 2) Add the following code at the end of your LocalSettings.php file:
 * 3) You're done! Go to Special:MediaLoaderSyntax to verify that the extension works!

Problems?
Submit an issue at GitHub! (/issues/new)

How it looks?
The extension is highly customizable at the level of CSS (Documentation coming after v1.0! If you need help contact me and I will be happy to explain!)

Default look:

[Images to be added]

Configuration parameters
$wgMediaLoaderLoadText - Text shown before the name of the file (Default: "Load " | Results in: "Load example.png")

$wgMediaLoaderUnloadText - Same but for the unloading process (Default: "Unload " | Results in: "Unload example.png")