diff --git a/etc/inc/pfsense-utils.inc b/etc/inc/pfsense-utils.inc
index 9b2a2044bd..000778dc10 100644
--- a/etc/inc/pfsense-utils.inc
+++ b/etc/inc/pfsense-utils.inc
@@ -33,13 +33,20 @@
  *
  */
 
-/* compatibility goo with HEAD */
+/* BEGIN compatibility goo with HEAD */
 if(!function_exists("gettext")) {
 	function gettext($text) {
 		return $text;
 	}
 }
 
+if(!function_exists("pfSenseHeader")) {
+	function pfSenseHeader($location) {
+		header("Location: $location");
+	}
+}
+/* END compatibility goo with HEAD */
+
 function get_tmp_file() {
 	return "/tmp/tmp-" . time();
 }