Manual:SqliteMaintenance.php

From mediawiki.org
Other languages:
MediaWiki version:
1.36


Details[edit]

SqliteMaintenance.php file is a maintenance script that performs some operations specific to SQLite database backend.

Options/Arguments[edit]

Option Description Required?
--vacuum Clean up database by removing deleted pages. Decreases database file size Optional
--integrity Check database for integrity Optional
--backup-to Backup database to the given file Optional
--check-syntax Check SQL file(s) for syntax errors Optional

Usage[edit]

php maintenance/SqliteMaintenance.php [ --vacuum| --integrity| --backup-to| --check-syntax ]

Checking integrity[edit]

Terminal
$ php maintenance/SqliteMaintenance.php --integrity

Performing database integrity checks:
ok

Vacuum Operation[edit]

Terminal
$ php maintenance/SqliteMaintenance.php --vacuum

VACUUM: Database size was 46995456 bytes, now 37796864 (19.6% reduction).

Checking SQL file syntax[edit]

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/SqliteMaintenance.php --check-syntax patch-actor-table.sql

SQL syntax check: no errors detected.

See also[edit]