2017-06-04 15:10:06 +02:00
|
|
|
from django.db import migrations
|
|
|
|
|
2020-01-14 21:59:46 +01:00
|
|
|
|
2017-06-04 15:10:06 +02:00
|
|
|
class Migration(migrations.Migration):
|
|
|
|
|
|
|
|
dependencies = [
|
|
|
|
('zerver', '0082_index_starred_user_messages'),
|
|
|
|
]
|
|
|
|
|
|
|
|
operations = [
|
|
|
|
migrations.RunSQL(
|
2019-06-26 08:53:36 +02:00
|
|
|
'''
|
|
|
|
CREATE INDEX IF NOT EXISTS zerver_usermessage_mentioned_message_id
|
|
|
|
ON zerver_usermessage (user_profile_id, message_id)
|
|
|
|
WHERE (flags & 8) != 0;
|
|
|
|
''',
|
2017-06-04 15:10:06 +02:00
|
|
|
reverse_sql='DROP INDEX zerver_usermessage_mentioned_message_id;'
|
|
|
|
),
|
|
|
|
]
|