Manual:patchSql.php
MediaWiki version: | ≥ 1.16 |
MediaWiki file: patchSql.php | |
---|---|
Location: | maintenance/ |
Source code: | master • 1.42.3 • 1.41.4 • 1.39.10 |
Classes: | PatchSql |
Details
editpatchSql.php file is a maintenance script to manually run an SQL patch outside of the general updaters.
Arguments
editArgument | Description | Required |
---|---|---|
patch-name | Name of the patch file, either full path or in maintenance/archives | Required |
Usage
editphp 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.