Does anyone know how to change the time format for all users in the config?

I would have assumed it would be h:mm tt .. but for some reason, it doesn't work.

I can change it using the chat command for myself, but it nobody sees the changes. So I assume the config is where it's done?

   "Clock": {
      "AnchorX": "Left",
      "AnchorY": "Bottom",
      "Autoload": true,
      "Available": true,
      "BackgroundColor": "0.1 0.1 0.1 0",
      "Dock": "BottomLeftDock",
      "FadeOut": 0.0,
      "Height": 0.95,
      "Margin": "0 0 0 0.01",
      "Order": 1,
      "PanelSettings": {
        "ClockUpdateFrequency (seconds)": 4,
        "TimeFormat": "h:mm tt"  // Change to this format, but doesn't work ? 

This is my config for that panel and it works

},
    "Clock": {
      "AnchorX": "Left",
      "AnchorY": "Bottom",
      "Autoload": true,
      "Available": true,
      "BackgroundColor": "0 0 0 0.4",
      "Dock": "BottomLeftDock",
      "FadeOut": 0.0,
      "Height": 0.95,
      "Margin": "0 0 0 0.01",
      "Order": 1,
      "PanelSettings": {
        "ClockUpdateFrequency (seconds)": 4,
        "TimeFormat": "HH:mm"
      },​

and the one for Third party panels

 },
  "ThirdPartyPanels": {},
  "TimeFormats": [
    "H:mm",
    "HH:mm",
    "h:mm",
    "h:mm tt"
  ]
}