Index: trunk/FACT++/scripts/doc/console.js
===================================================================
--- trunk/FACT++/scripts/doc/console.js	(revision 16060)
+++ trunk/FACT++/scripts/doc/console.js	(revision 16071)
@@ -31,2 +31,23 @@
  */
 console.out = function() { /* [native code] */ }
+
+/**
+ *
+ * Displays a warning message on the local console (only).
+ *
+ * (This is mainly meant for debugging purpose to highlight warning
+ *  messages.)
+ *
+ * @param argument
+ *     Any kind of argument can be given. If it is not a String, it
+ *     is converted using the toString() member function.
+ *
+ * @param [. . .]
+ *     Any number of additional arguments. Each argument will appear in
+ *     a new line.
+ *
+ * @example
+ *     console.warn("WARNING: Five="+5, "--- new line ---");
+ *
+ */
+console.warn = function() { /* [native code] */ }