port for gnome 42

[ulph0]

hi i just installed ubuntu 22.04 and am missing teatime, its marked as outdated in the gnome extension. could you please port it? regards.

[zeners]

it works with gnome 42 without any problems, so i added versions 41 and 42 to the shell compatibility list.

[ulph0]

hi, what does that mean? which list? is it still can't find it on https://extensions.gnome.org/ as update - shell. also i can't enable it manually installed with gnome-shell-extension-prefs. running gnome 42.4

[zeners]

the update on extensions.gnome.org is to be done by @oleid

you will find a file called metadata.json and add 42 like i did here

[ulph0]

@oleid: could you PLEASE update on extensions.gnome.org ?! really would like to have back teatimer on the usual distruibution channel, also foor the people i recommended it to.