Manuel:PatchSql.php
Version de MediaWiki : | ≥ 1.16 |
Fichier MediaWiki : patchSql.php | |
---|---|
Emplacement : | maintenance/ |
Code source : | master • 1.38.2 • 1.37.3 • 1.35.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 | Required |
---|---|---|
patch-name | Name of the patch file, either full path or in maintenance/archives | obligatoire |
Usage
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.