TimedMediaHandler (MediaWiki) : Différence entre versions
De Wicri Base 1.28
imported>Jacques Ducloy (→Installation) |
imported>Jacques Ducloy (→Voir aussi) |
||
(5 révisions intermédiaires par le même utilisateur non affichées) | |||
Ligne 12 : | Ligne 12 : | ||
;Installation proprement dite: | ;Installation proprement dite: | ||
Sous la racine du wiki : | Sous la racine du wiki : | ||
− | cp -r /applis/lorexplor/www/html/MediaWiki/V1.28/mediawiki-1.28.1/extensions/ | + | cp -r /applis/lorexplor/www/html/MediaWiki/V1.28/mediawiki-1.28.1/extensions/TimedMediaHandler extensions/. |
Dans LocalSettings.php | Dans LocalSettings.php | ||
− | + | require_once "$IP/extensions/TimedMediaHandler/TimedMediaHandler.php"; | |
==Voir aussi== | ==Voir aussi== | ||
;Sur ce wiki: | ;Sur ce wiki: | ||
− | * [[ | + | * [[Score (MediaWiki)]] |
+ | {{Wicri voir|référence=Outils}}. | ||
;Liens externes: | ;Liens externes: | ||
Sur [[MediaWiki]] : [[mediawikiwiki:Extension:TimedMediaHandler|Extension:TimedMediaHandler]] | Sur [[MediaWiki]] : [[mediawikiwiki:Extension:TimedMediaHandler|Extension:TimedMediaHandler]] | ||
+ | [[Catégorie:Extensions MediaWiki]] |
Version actuelle datée du 10 décembre 2020 à 08:43
L'extension TimedMediaHandler permet d'inclure des fichiers audio au vidéo dans un wiki.
Installation
Une première expérimentation a été faire sur wicri-music.en:LilyPond.
Elle est maintenant incluse sur :
/applis/lorexplor/www/html/MediaWiki/V1.28/mediawiki-1.28.1/extensions/
Ce paragraphe concerne les anciens wikis sur lesquels elle n'est pas installée.
- Sauvegarde avant installation
Compte tenu d'une mise à jour de la base de données, une sauvegarde préalable est nécessaire.
Sous le répertoire de la famille de wiki.
mkdir save mkdir save/fr.20250615 php fr/maintenance/dumpBackup.php --full > save/fr.20250615/dump.xml
mysqldump -u "WicriCanadaAdm" -p WicriMusiqueFr > save/fr.20180216/backup.sql
- Installation proprement dite
Sous la racine du wiki :
cp -r /applis/lorexplor/www/html/MediaWiki/V1.28/mediawiki-1.28.1/extensions/TimedMediaHandler extensions/.
Dans LocalSettings.php
require_once "$IP/extensions/TimedMediaHandler/TimedMediaHandler.php";
Voir aussi
- Sur ce wiki
- Dans le réseau Wicri :
La page de référence « TimedMediaHandler (MediaWiki) » est sur le wiki Wicri/Outils..
- Liens externes