Platonides wrote:
What about people with javascript disabled?
This question is so cliché... It has become one of the default excuses when someone doesn't want to bother thinking about a problem.
Then, I argue:
1. How many users, normal users, have javascript disabled? Note that we are power users. The average user doesn't even know the difference between a "computer" and "Windows", and use whatever is installed. Javascript is something beyond their naked-eye visible universe. They don't know it exists, and how to disable it. These users are the majority.
2. How many of these users, who have Javascript disabled, are actually editors of content in Wikipedia and other MediaWiki-based wikis?
3. How many of these editors who have Javascript disabled will actually feel more inconvenient to go up and click the "edit this page" link on the top of the article instead of turning Javascript back on?
4. Note that the many Ad providers rely on Javascript to place their Ads into pages, because they know that Javascript brings flexibility that overwhelms the few percent (perhaps even less than one percent) of users with Javascript disabled.
5. Disabling Javascript completely render so many (badly designed) sites unusable that doing so almost rips you of a leg. Who are really concerned about having Javascript enabled ends up using Opera or the NoScript extension to disable scripts selectively. In this case, the user just needs to enable Javascript for MediaWiki sites. Simple.
6. Adding section edit links via Javascript is not going to render MediaWiki unusable, not even near that. People will still be able to read anything, and *edit* anything, since we are not going to get rid the "edit this page" functionality.
7. MediaWiki already depends on Javascript for many other non-essential stuff. Of course, proper care was taken to not make it unusable, although it sucks using MediaWiki without Javascript. Table sorting, quick watch/unwatch, instant upload filename collision check, search suggestions based on page titles, etc... They are all convenient features added to MediaWiki via Javascript. I don't see any problem in making edit links the same.
8. There is always the option of using <noscript>...</noscript> as a fallback: Use javascript to place edit links for people who have Javascript enabled, and leave <noscript/> fallbacks in place for people who don't. I just tested in Firebug, selecting and copying a text across an invisible <noscript/> tag doesn't copy its contents, so it would fix the problem of the surprise "[Edit]"s that pop up when you copy/paste text from the wiki.
I don't think there's any variant on the edit section. It is always there, just that sometimes it's hidden with CSS.
Yeah, right. I just checked it.
There are setEditSection() and getEditSection() in ParserOptions that affect the parser in Parser::formatHeadings(). I assumed that that came from the user preferences, but now I see that the user preferences only affects CSS styling.