Extension:MediaLoader

From MediaWiki.org
Jump to navigation Jump to search
MediaWiki extensions manual
OOjs UI icon advanced.svg
MediaLoader
Release status: beta
Implementation Parser extension
Description Extension for optimizing pages with a lot of media players
Author(s) (FunPLtalk)
Latest version 0.3.2 (8.07.2019)
Compatibility policy master
MediaWiki 1.32.2
PHP 7.0.0
Database changes No
License GNU General Public License 3.0 or later
Download
  • $wgMediaLoaderLoadText
  • $wgMediaLoaderUnloadText
<media>
Translate the MediaLoader extension if it is available at translatewiki.net
Check usage and version matrix.

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

Installation[edit]

  • Add the following code at the bottom of your LocalSettings.php:
    wfLoadExtension( 'MediaLoader' );
    
  • Yes Done – Navigate to Special:Version on your wiki to verify that the extension is successfully installed.


Problems?

Submit an issue at GitHub and I will be happy to help!

Flexibility[edit]

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

How it looks?[edit]

Interactive example:

Example

Default look:

Unloaded[edit]

Load M-en-Contentbar.png

Loaded[edit]

Unload M-en-Contentbar.png

M-en-Contentbar.png

Configuration parameters[edit]

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

More info[edit]

  • For all possibilities check out the wiki on GitHub.