Extension:MediaLoader

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

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")