diff --git a/Source/WebCore/ChangeLog b/Source/WebCore/ChangeLog
index 375fa7edd933d272e6762c718a3b04ae3125c1ab..78e674886f87f42c28ba3dd9dc008579c09b13be 100644
--- a/Source/WebCore/ChangeLog
+++ b/Source/WebCore/ChangeLog
@@ -1,3 +1,25 @@
+2013-12-13  Carlos Garcia Campos  <cgarcia@igalia.com>
+
+        REGRESSION(r155784): [GTK] Some methods incorrectly removed in r155784 and deprecated in r158662
+        https://bugs.webkit.org/show_bug.cgi?id=125692
+
+        Reviewed by Martin Robinson.
+
+        In r155784 the build was fixed by skipping Console::profile() and
+        Console::profileEnd(), but the patch also skipped other methods
+        containing the profile method name. Those were incorrectly
+        deprecated in r158662 thinking that the property had been removed
+        in the idl.
+
+        * bindings/gobject/WebKitDOMDeprecated.cpp: Undeprecate
+        webkit_dom_html_head_element_get_profile and
+        webkit_dom_html_head_element_set_profile.
+        * bindings/gobject/WebKitDOMDeprecated.h: Ditto.
+        * bindings/gobject/WebKitDOMDeprecated.symbols: Ditto.
+        * bindings/scripts/CodeGeneratorGObject.pm:
+        (SkipFunction): Skip webkit_dom_console_profile and
+        webkit_dom_console_profile_end.
+
 2013-12-13  Rob Buis  <rob.buis@samsung.com>
 
         Clean up SVGScriptElement
diff --git a/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.cpp b/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.cpp
index ef15e850f2f930f3808969e4dca9cfa143542da6..d403cfc29ccb1eab85f46ebcdd95b3376a7f2e51 100644
--- a/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.cpp
+++ b/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.cpp
@@ -547,19 +547,6 @@ gdouble webkit_dom_html_media_element_get_initial_time(WebKitDOMHTMLMediaElement
     return 0;
 }
 
-// WebKitDOMHTMLHeadElement
-
-gchar* webkit_dom_html_head_element_get_profile(WebKitDOMHTMLHeadElement* self)
-{
-    g_warning("%s: the HeadElement object has been removed from WebKit, this function does nothing.", __func__);
-    return g_strdup("");
-}
-
-void webkit_dom_html_head_element_set_profile(WebKitDOMHTMLHeadElement* self, const gchar* value)
-{
-    g_warning("%s: the HeadElement object has been removed from WebKit, this function does nothing.", __func__);
-}
-
 // WebKitDOMProcessingInstruction
 
 gchar* webkit_dom_processing_instruction_get_data(WebKitDOMProcessingInstruction* self)
diff --git a/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.h b/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.h
index ad18c8c6fe4a42c437e8894cdeadda9a79697cac..c03a9c58cb729231315d6600e1c42b71c6ba6585 100644
--- a/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.h
+++ b/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.h
@@ -551,31 +551,6 @@ webkit_dom_html_media_element_get_start_time(WebKitDOMHTMLMediaElement* self);
 WEBKIT_DEPRECATED gdouble
 webkit_dom_html_media_element_get_initial_time(WebKitDOMHTMLMediaElement* self);
 
-/**
- * webkit_dom_html_head_element_get_profile:
- * @self: A #WebKitDOMHTMLHeadElement
- *
- * This functionality has been removed from WebKit, this function does nothing.
- *
- * Returns: a #gchar
- *
- * Deprecated: 2.4
- */
-WEBKIT_DEPRECATED gchar*
-webkit_dom_html_head_element_get_profile(WebKitDOMHTMLHeadElement* self);
-
-/**
- * webkit_dom_html_head_element_set_profile:
- * @self: A #WebKitDOMHTMLHeadElement
- * @value: A #gchar
- *
- * This functionality has been removed from WebKit, this function does nothing.
- *
- * Deprecated: 2.4
- */
-WEBKIT_DEPRECATED void
-webkit_dom_html_head_element_set_profile(WebKitDOMHTMLHeadElement* self, const gchar* value);
-
 /**
  * webkit_dom_processing_instruction_get_data:
  * @self: A #WebKitDOMProcessingInstruction
diff --git a/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.symbols b/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.symbols
index f97206d4ec8b58f98ad3df1bca3747cf13780c97..7a05ff22a08fa0fad569d20d39fbb4c8846b7b80 100644
--- a/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.symbols
+++ b/Source/WebCore/bindings/gobject/WebKitDOMDeprecated.symbols
@@ -44,7 +44,5 @@ WebKitDOMNode* webkit_dom_property_node_list_item(void*, gulong)
 gulong webkit_dom_property_node_list_get_length(void*)
 gdouble webkit_dom_html_media_element_get_start_time(WebKitDOMHTMLMediaElement*)
 gdouble webkit_dom_html_media_element_get_initial_time(WebKitDOMHTMLMediaElement*)
-gchar* webkit_dom_html_head_element_get_profile(WebKitDOMHTMLHeadElement*)
-void webkit_dom_html_head_element_set_profile(WebKitDOMHTMLHeadElement*, const gchar*)
 gchar* webkit_dom_processing_instruction_get_data(WebKitDOMProcessingInstruction*)
 void webkit_dom_processing_instruction_set_data(WebKitDOMProcessingInstruction*, const gchar*, GError**)
diff --git a/Source/WebCore/bindings/scripts/CodeGeneratorGObject.pm b/Source/WebCore/bindings/scripts/CodeGeneratorGObject.pm
index 115fe94d081ece200eba79c722778bcb6509c9ba..90e3a0ecc475d60615dace0c9b96e9b230a8668d 100644
--- a/Source/WebCore/bindings/scripts/CodeGeneratorGObject.pm
+++ b/Source/WebCore/bindings/scripts/CodeGeneratorGObject.pm
@@ -304,6 +304,11 @@ sub SkipFunction {
         return 1;
     }
 
+    # Skip Console::profile() and Console::profileEnd() as they're not correctly generated for the moment.
+    if ($functionName eq "webkit_dom_console_profile" || $functionName eq "webkit_dom_console_profile_end") {
+        return 1;
+    }
+
     if ($function->signature->name eq "set" and $parentNode->extendedAttributes->{"TypedArray"}) {
         return 1;
     }
@@ -324,7 +329,7 @@ sub SkipFunction {
         return 1;
     }
 
-    if ($function->signature->name eq "timeEnd" || $function->signature->name eq "profile" || $function->signature->name eq "profileEnd") {
+    if ($function->signature->name eq "timeEnd") {
         return 1;
     }