TimedMediaHandler (MediaWiki) : Différence entre versions

De Wicri Base 1.31
(Installation)
(Installation)
Ligne 18 : Ligne 18 :
  
 
Dans LocalSettings.php
 
Dans LocalSettings.php
 +
<source lang="php">
 +
wfLoadExtension( 'TimedMediaHandler' );
 +
$wgFFmpegLocation = '/usr/bin/ffmpeg';
 +
</source>
  
enableSemantics( 'wicri-demo.istex.fr' );
 
 
Puis
 
Puis
 
  php maintenance/update.php
 
  php maintenance/update.php

Version du 10 décembre 2020 à 21:52

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.20240512
php fr/maintenance/dumpBackup.php --full > save/fr.20240512/dump.xml
sudo mysqldump ***base*** > save/fr.20240512/backup.sql

Installation

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

Ajouter :

cat <<... > composer.local.json
{
 "require": {
               ,
               "extensions/TimedMediaHandler/composer.json"
            }
}
...
php /applis/MediaWiki/composer.phar update --no-dev

Dans LocalSettings.php

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

Puis

php maintenance/update.php

Voir aussi

Dans le réseau Wicri :

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

Liens externes