diff -r fb7cd02b9848 -r 561aa6d282f6 web/wp-content/plugins/exec-php/js/common.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/wp-content/plugins/exec-php/js/common.js	Mon Feb 01 09:51:57 2010 +0000
@@ -0,0 +1,13 @@
+function ExecPhp_setMessage(heading, text)
+{
+	var message = '<p><strong>' + heading + '</strong> ' + text + '</p>';
+	var parent = document.getElementById(execphpCommonL10n.messageContainer);
+	try
+	{
+		container = document.createElement("div");
+		container.className = "updated fade";
+		container.innerHTML = container.innerHTML + message;
+		parent.appendChild(container);
+	}
+	catch(e) {;}
+}