Manuel:SqliteMaintenance.php
| Version de MediaWiki : | ≥ 1.36 |
| Fichier MediaWiki : SqliteMaintenance.php | |
|---|---|
| Emplacement : | maintenance/ |
| Code source : | master • 1.43.1 • 1.42.6 • 1.39.12 |
| Classes : | SqliteMaintenance |
Détails
SqliteMaintenance.php file is a maintenance script that performs some operations specific to SQLite database backend.
Options et arguments
| Option | Description | Nécessaire ? |
|---|---|---|
| --vacuum | Clean up database by removing deleted pages. Decreases database file size | optionnel |
| --integrity | Check database for integrity | optionnel |
| --backup-to | Backup database to the given file | optionnel |
| --check-syntax | Check SQL file(s) for syntax errors | optionnel |
Utilisation
php maintenance/run.php SqliteMaintenance [ --vacuum| --integrity| --backup-to| --check-syntax ]
Dans la version MediaWiki 1.39.12 et antérieure, vous devez invoquer des scripts de maintenance à l'aide de
php maintenance/scriptName.php au lieu de php maintenance/run.php scriptName.
Contrôler l'intégrité
Terminal
$ php maintenance/run.php SqliteMaintenance --integrity Performing database integrity checks: ok
Vacuum Operation
Terminal
$ php maintenance/run.php SqliteMaintenance --vacuum VACUUM: Database size was 46995456 bytes, now 37796864 (19.6% reduction).
Vérifier la syntaxe des fichiers SQL
patch-actor-table.sql
--
-- patch-actor-table.sql
--
-- T167246. Add an `actor` table.
CREATE TABLE /*_*/actor (
actor_id bigint unsigned NOT NULL PRIMARY KEY AUTO_INCREMENT,
actor_user int unsigned,
actor_name varchar(255) binary NOT NULL
) /*$wgDBTableOptions*/;
CREATE UNIQUE INDEX /*i*/actor_user ON /*_*/actor (actor_user);
CREATE UNIQUE INDEX /*i*/actor_name ON /*_*/actor (actor_name);
Terminal
$ php maintenance/run.php SqliteMaintenance --check-syntax patch-actor-table.sql SQL syntax check: no errors detected.