Move feed_menu and default_home into user preferences

This commit is contained in:
Omar Roth
2019-10-20 20:42:18 -04:00
parent 2a04a48b89
commit 7524b5e349
11 changed files with 97 additions and 53 deletions

View File

@@ -115,9 +115,9 @@
"Feed menu: ": "Feed menu: ",
"Top enabled: ": "Top enabled: ",
"CAPTCHA enabled: ": "CAPTCHA enabled: ",
"Login enabled: ": "Login enabled? ",
"Registration enabled: ": "Registration enabled? ",
"Report statistics: ": "Report statistics? ",
"Login enabled: ": "Login enabled: ",
"Registration enabled: ": "Registration enabled: ",
"Report statistics: ": "Report statistics: ",
"Save preferences": "Save preferences",
"Subscription manager": "Subscription manager",
"Token manager": "Token manager",