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
);