On Sun, 26 May 2013, Paul Wise wrote: > On Sun, May 26, 2013 at 7:42 AM, David Suárez wrote: > > > Patch attached. > > The patch isn't going to work if the user-agent doesn't have > JavaScript support. For Debian websites we prefer to use progressive > enhancement; we make it work without CSS or JS and add JS/CSS to > enhance the user experience where needed.
Agreed in general, but in this specific case, I don't agree that it's required. Non-javascript users would not be impaired in their usage (i.e. no functionnality loss), they would just not benefit from a convenience feature. Cheers, -- Raphaël Hertzog ◈ Debian Developer Get the Debian Administrator's Handbook: → http://debian-handbook.info/get/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org