[ Index ] |
PHP Cross Reference of MediaWiki-1.24.0 |
[Summary view] [Print] [Text view]
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
title
Description
Body
title
Description
Body
title
Description
Body
title
Body
Generated: Fri Nov 28 14:03:12 2014 | Cross-referenced by PHPXref 0.7.1 |