I'm not sure that fixing bug 934497 would do anything do anything significant to solve this problem. The majority of users wouldn't disable developer tools, and we're not going to disable developer tools by default. Feel free to re-add if I'm missing something.
Bug 953166 could help prevent this sort of thing.
Remove the wrong bug earlier. Bug 934497 isn't important to this problem.
3 years ago
For reference for anyone reading this thread, here's the parallel Chrome bug: https://code.google.com/p/chromium/issues/detail?id=345205