Jul 6 2017
Apologies. I have no idea how I moved this, or how to move it back.
Jul 4 2017
Thanks @SamanthaNguyen! That's enough to hack in a workaround for now. I just pasted mediawiki.action.view.dblClickEdit.js into MediaWiki:Refreshed.js and changed the selector.
Dec 19 2016
Sorry, not sure how this got into MW general. I filed it from and for the Refreshed skin project.