prevent multiple simultaneous page editors

[eluser]jedd[/eluser]
Yup, I'm liking that approach of doing a pop-up for a user that's had the page > x minutes.

I wonder how you'd degrade that elegantly sans JS though.

Probably fall back to the 'here's the page diffs, you're the human, so you work it out' approach