Re: Gnome 3 Extensions/Themes Website?

[Olav Vitters <olav vitters nl>]

On Wed, Jun 08, 2011 at 03:20:34PM -0400, Jasper St. Pierre wrote:
> OK. I'm just trying to cover the distribution mechanism, and both Owen and I
> realized that themes could be implemented as extensions. It's probably
> better to provide it separately so that users can switch between themes
> without having to disable/enable extensions. I want the user experience to
> be pretty much the same as installing Extensions, which should be pretty
> painless: no more than navigating to http://extensions.gnome.org and
> clicking "Install".

This should not be seen as stop energy, but if you want a *.gnome.org,
please use the django framework or that it at least something which
works using wsgi. PHP is somewhat disliked.[1] :)

-- 
Regards,
Olav

[1] In 2004 the infrastructure was compromised and started with insecure
PHP code