Javascript bookmarklet for toggling webpage editing on/off?

I once saw a JavaScript bookmarklet on the internet, but I lost it.

The bookmarklet does not specifically enable/disable the page editability, but it does toggle the editability, meaning that pressing the exact same bookmark turns editing on (enables) if it is currently off (disabled), and vice versa.

What was the bookmarklet script?