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.