Merge "Preferences.php: avoid "Undefined index" if key 'realname' don't exist in...
[lhc/web/wiklou.git] / maintenance / oracle / archives / patch-cat_hidden.sql
1 define mw_prefix='{$wgDBprefix}';
2
3 ALTER TABLE &mw_prefix.category DROP COLUMN cat_hidden;
4