eonpatapon/gnome-shell-extensions-mediaplayer — comment on commit 91cd64f2c6c05ccccc59be2616c6cb3200c9e3c8
File:  line 0
By eonpatapon:

Yeah you're right I didn't think about that. About extensions.gnome.org it seems that new APIs will be made for extensions and maybe something that will replace gsettings (see http://live.gnome.org/GnomeShell/SweetTooth)