reddit/reddit — pull request #778 by andre-d (2013-05-13 20:39:30+00:00)
Title: wiki: Disable save button during wiki page edit saving.

Fixes #637