Oops - forgot commis

apps/ios/settings.js

@@ -0,0 +1,18 @@
+(function(back) {
+  var settings = require("Storage").readJSON("ios.settings.json",1)||{};
+  function updateSettings() {
+    require("Storage").writeJSON("ios.settings.json", settings);
+  }
+  var mainmenu = {
+    "" : { "title" : "iOS" },
+    "< Back" : back,
+    /*LANG*/"Time Sync" : {
+      value : !!settings.timeSync,
+      onchange: v => {
+        settings.timeSync = v;
+        updateSettings();
+      }
+    }
+  };
+  E.showMenu(mainmenu);
+})