maintenance/oracle/archives/patch-job_token.sql

   1 define mw_prefix='{$wgDBprefix}';
   2
   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,
   7         job_sha1 VARCHAR2(32)
   8 );
   9
  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);
  12