# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1351609940 -7200
# Node ID 7633a716e000587eebe8208f73a7eabea61a0a1e
# Parent  95cf60256d5a50a0ad34b96d8cbcb5d0833a93d7# Parent  c761842c6d901ea2ac4a61973d95bd4146b90b6b
merged

diff -r 95cf60256d5a -r 7633a716e000 firefox-devel.rst
--- a/firefox-devel.rst	Mon Oct 22 20:09:06 2012 +0300
+++ b/firefox-devel.rst	Tue Oct 30 17:12:20 2012 +0200
@@ -92,7 +92,9 @@
 
 Debugging JavaScript with Web Console.
 --------------------------------------
-::
+
+Instead of "Error Console" (press Ctrl+Shift+J) use "Web Console" (press
+Ctrl+Shift+K) in Firefox >=4.0::
 
   'console.log()', 'console.info()', 'console.warn()', 'console.error()'.