Merge "Preferences.php: avoid "Undefined index" if key 'realname' don't exist in...

[lhc/web/wiklou.git] / maintenance / oracle / archives / patch-job_timestamp_index.sql

define mw_prefix='{$wgDBprefix}';

CREATE INDEX &mw_prefix.job_i02 ON &mw_prefix.job (job_timestamp);