Merge "Preferences.php: avoid "Undefined index" if key 'realname' don't exist in...
[lhc/web/wiklou.git] / maintenance / oracle / archives / patch-job_timestamp_field.sql
1 define mw_prefix='{$wgDBprefix}';
2
3 ALTER TABLE &mw_prefix.job ADD job_timestamp TIMESTAMP(6) WITH TIME ZONE NULL;
4