model: Remove user_profile.muted_topics.

(We now track muted topics in the MutedTopic model.

zerver/migrations/0103_remove_userprofile_muted_topics.py

@@ -0,0 +1,19 @@
+# -*- coding: utf-8 -*-
+# Generated by Django 1.11.4 on 2017-08-31 00:13
+from __future__ import unicode_literals
+
+from django.db import migrations
+
+
+class Migration(migrations.Migration):
+
+    dependencies = [
+        ('zerver', '0102_convert_muted_topic'),
+    ]
+
+    operations = [
+        migrations.RemoveField(
+            model_name='userprofile',
+            name='muted_topics',
+        ),
+    ]

zerver/models.py

@@ -666,10 +666,6 @@ class UserProfile(ModelReprMixin, AbstractBaseUser, PermissionsMixin):
 
     alert_words = models.TextField(default=u'[]')  # type: Text # json-serialized list of strings
 
-    # Contains serialized JSON of the form:
-    # [["social", "mit"], ["devel", "ios"]]
-    muted_topics = models.TextField(default=u'[]')  # type: Text
-
     objects = UserManager()  # type: UserManager
 
     DEFAULT_UPLOADS_QUOTA = 1024*1024*1024