Manuel:PatchSql.php
Version de MediaWiki : | ≥ 1.16 |
Fichier MediaWiki : patchSql.php | |
---|---|
Emplacement : | maintenance/ |
Code source : | master • 1.41.1 • 1.40.3 • 1.39.7 |
Classes : | PatchSql |
Détails
Le fichier patchSql.php est un script de maintenance pour exécuter manuellement une correction SQL séparément des mises à jour générales.
Arguments
Argument | Description | Obligatoire |
---|---|---|
patch-name | Name of the patch file, either full path or in maintenance/archives | obligatoire |
Utilisation
php maintenance/patchSql.php patch-name
custom-patch.sql
ALTER TABLE /*_*/actor ADD email varchar(255) NOT NULL;
Terminal
$ php maintenance/patchSql.php custom-patch.sql custom-patch.sql ... done.