metadata.json

{
  "name": "Date Menu Formatter",
  "description": "Allows customization of the date display in the panel.\n\nMight be especially useful if you're using a horizontal panel which does not at all work well with the default date display.\n\nCHANGELOG\nVersion 5: added support for multiple Dash To Panel panels\nVersion 6: fixed issues on earlier Gnome Shell versions",
  "uuid": "date-menu-formatter@marcinjakubowski.github.com",
  "shell-version": [
    "42", "41", "40"
  ],
  "version": 6,
  "settings-schema": "org.gnome.shell.extensions.date-menu-formatter"
}