[gtk] Drop the public profiler api

[Matthias Clasen <matthiasc src gnome org>]

commit b3ff4154ec1119feb759504ddef2412d12698865
Author: Matthias Clasen <mclasen redhat com>
Date:   Wed May 8 16:58:11 2019 +0000

    Drop the public profiler api
    
    I meant to do this before merging the profiler
    support. Somehow the commit got lost.

 docs/reference/gdk/gdk4-sections.txt | 3 ---
 gdk/gdk.h                            | 1 -
 2 files changed, 4 deletions(-)
---
diff --git a/docs/reference/gdk/gdk4-sections.txt b/docs/reference/gdk/gdk4-sections.txt
index d78790e343..8eb27f7c89 100644
--- a/docs/reference/gdk/gdk4-sections.txt
+++ b/docs/reference/gdk/gdk4-sections.txt
@@ -17,9 +17,6 @@ GDK_VERSION_MIN_REQUIRED
 GDK_VERSION_MAX_ALLOWED
 GDK_DISABLE_DEPRECATION_WARNINGS
 
-<SUBSECTION Profiling>
-gdk_profiler_set_mark
-
 <SUBSECTION Standard>
 GDK_TYPE_GRAB_STATUS
 
diff --git a/gdk/gdk.h b/gdk/gdk.h
index d3baac51de..a537ed341f 100644
--- a/gdk/gdk.h
+++ b/gdk/gdk.h
@@ -60,7 +60,6 @@
 #include <gdk/gdkpaintable.h>
 #include <gdk/gdkpango.h>
 #include <gdk/gdkpixbuf.h>
-#include <gdk/gdkprofiler.h>
 #include <gdk/gdkproperty.h>
 #include <gdk/gdkrectangle.h>
 #include <gdk/gdkrgba.h>