Merge "mediawiki.ui: Suppress default webkit-appearance of buttons from iOS"

[mediawiki.git] / maintenance / archives / patch-logging_user_text_time_index.sql

CREATE INDEX /*i*/log_user_text_time ON /*_*/logging (log_user_text, log_timestamp);