Merge "Bug 35681 - Upgrade jQuery UI to 1.8.18"
[mediawiki.git] / maintenance / oracle / archives / patch-user_email_index.sql
blobe34d86560c460b62fff2879ef1e8145f51558718
1 define mw_prefix='{$wgDBprefix}';
3 CREATE INDEX &mw_prefix.mwuser_i02 ON &mw_prefix.mwuser (user_email);