settings: Move display_checkmark to settings_ui.js.

This commit is contained in:
Tim Abbott
2018-03-04 18:13:29 -08:00
parent 6a06e453c7
commit 4d8e18e58f
3 changed files with 11 additions and 10 deletions

View File

@@ -49,7 +49,8 @@ enforce_fully_covered = {
'static/js/recent_senders.js',
'static/js/rtl.js',
'static/js/search_suggestion.js',
'static/js/settings_ui.js',
# Removed because we're migrating code from uncovered other settings pages to here.
# 'static/js/settings_ui.js',
'static/js/settings_user_groups.js',
'static/js/stream_data.js',
'static/js/stream_events.js',