2017-02-01 23:29:55 +01:00
|
|
|
# Generated by Django 1.10.5 on 2017-02-01 22:28
|
2023-06-11 21:22:36 +02:00
|
|
|
from django.db import migrations, models
|
2017-02-01 23:29:55 +01:00
|
|
|
|
2020-01-14 21:59:46 +01:00
|
|
|
|
2017-02-01 23:29:55 +01:00
|
|
|
class Migration(migrations.Migration):
|
|
|
|
dependencies = [
|
2021-02-12 08:20:45 +01:00
|
|
|
("zerver", "0050_userprofile_avatar_version"),
|
|
|
|
("analytics", "0007_remove_interval"),
|
2017-02-01 23:29:55 +01:00
|
|
|
]
|
|
|
|
|
|
|
|
operations = [
|
2023-06-11 21:22:36 +02:00
|
|
|
migrations.AddIndex(
|
|
|
|
model_name="realmcount",
|
|
|
|
index=models.Index(
|
|
|
|
fields=["property", "end_time"],
|
|
|
|
name="analytics_realmcount_property_end_time_3b60396b_idx",
|
|
|
|
),
|
2017-02-01 23:29:55 +01:00
|
|
|
),
|
2023-06-11 21:22:36 +02:00
|
|
|
migrations.AddIndex(
|
|
|
|
model_name="streamcount",
|
|
|
|
index=models.Index(
|
|
|
|
fields=["property", "realm", "end_time"],
|
|
|
|
name="analytics_streamcount_property_realm_id_end_time_155ae930_idx",
|
|
|
|
),
|
2017-02-01 23:29:55 +01:00
|
|
|
),
|
2023-06-11 21:22:36 +02:00
|
|
|
migrations.AddIndex(
|
|
|
|
model_name="usercount",
|
|
|
|
index=models.Index(
|
|
|
|
fields=["property", "realm", "end_time"],
|
|
|
|
name="analytics_usercount_property_realm_id_end_time_591dbec1_idx",
|
|
|
|
),
|
2017-02-01 23:29:55 +01:00
|
|
|
),
|
|
|
|
]
|