TimedMediaHandler (MediaWiki) : Différence entre versions
De Wicri Base 1.28
imported>Jacques Ducloy (→Voir aussi) |
imported>Jacques Ducloy (→Installation) |
||
| Ligne 16 : | Ligne 16 : | ||
Dans LocalSettings.php | Dans LocalSettings.php | ||
| − | + | require_once "$IP/extensions/TimedMediaHandler/TimedMediaHandler.php"; | |
==Voir aussi== | ==Voir aussi== | ||
Version du 18 février 2018 à 13:04
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.2025114 php fr/maintenance/dumpBackup.php --full > save/fr.2025114/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
- Liens externes
