TimedMediaHandler (MediaWiki) : Différence entre versions

Version actuelle datée du 23 décembre 2020 à 11:58

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

sudo mysqldump ***base*** > save/fr.20250615/backup.sql

 cp -r /applis/MediaWiki/V1.31/extensions/TimedMediaHandler extensions/.

Dans LocalSettings.php

wfLoadExtension( 'TimedMediaHandler' );
$wgFFmpegLocation = '/usr/bin/ffmpeg';

Puis

php maintenance/update.php

Télécharger :

Puis :

La page de référence « TimedMediaHandler (MediaWiki) » est sur le wiki Wicri/Outils..

@@ Ligne 1 : / Ligne 1 : @@
 {{Sauvegarde avant installation}}
 ==Installation==
-===Pour mémoire===
+Voir [[TimedMediaHandler (MediaWiki)/Pour mémoire]]
-''à valider''
-<pre>
- cp -r /applis/MediaWiki/V1.31/extensions/TimedMediaHandler extensions/.
-</pre>
-Ajouter :
-<pre>
-cat <<... > composer.local.json
-{
- "require": {
-               ,
-               "extensions/TimedMediaHandler/composer.json"
-            }
-}
-...
-</pre>
- php /applis/MediaWiki/composer.phar update --no-dev
 ===Sur le domaine wicri-demo.istex.fr===
 <pre>
@@ Ligne 38 : / Ligne 22 : @@
 ==Voir aussi==
+;Sur ce wiki :
+* [[Création d'un wiki version 1.31 sur le domaine wicri-demo.istex.fr]]
 {{Wicri voir|référence=Outils}}.
 ;Liens externes:
 * https://www.mediawiki.org/wiki/Extension:TimedMediaHandler
 [[Catégorie:Extensions MediaWiki]]