1 define mw_prefix='{$wgDBprefix}';
3 ALTER TABLE &mw_prefix.job ADD (
4 job_random NUMBER DEFAULT 0 NOT NULL,
5 job_token VARCHAR2(32),
6 job_token_timestamp TIMESTAMP(6) WITH TIME ZONE,
10 CREATE INDEX &mw_prefix.job_i03 ON &mw_prefix.job (job_sha1);
11 CREATE INDEX &mw_prefix.job_i04 ON &mw_prefix.job (job_cmd,job_token,job_random);