[gnome-builder] plugins/devhelp: remove devhelp plugin

[Christian Hergert <chergert src gnome org>]

commit f3e88c279fac642889641e2abdde023ef7615295
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jul 11 22:40:01 2022 -0700

    plugins/devhelp: remove devhelp plugin
    
    This doesn't have a GTK 4 port yet, so we won't be bringing it along until
    we have a way to query things independently. We may end up doing that out
    of band at some point too.

 src/plugins/devhelp/devhelp-plugin.c               |  46 ---
 src/plugins/devhelp/devhelp.gresource.xml          |  15 -
 src/plugins/devhelp/devhelp.plugin                 |  11 -
 src/plugins/devhelp/gbp-devhelp-editor-addin.c     | 116 ------
 src/plugins/devhelp/gbp-devhelp-editor-addin.h     |  31 --
 src/plugins/devhelp/gbp-devhelp-frame-addin.c      | 210 ----------
 src/plugins/devhelp/gbp-devhelp-frame-addin.h      |  31 --
 src/plugins/devhelp/gbp-devhelp-hover-provider.c   | 241 -----------
 src/plugins/devhelp/gbp-devhelp-hover-provider.h   |  31 --
 src/plugins/devhelp/gbp-devhelp-menu-button.c      | 263 ------------
 src/plugins/devhelp/gbp-devhelp-menu-button.h      |  34 --
 src/plugins/devhelp/gbp-devhelp-menu-button.ui     |  33 --
 src/plugins/devhelp/gbp-devhelp-page.c             | 446 ---------------------
 src/plugins/devhelp/gbp-devhelp-page.h             |  35 --
 src/plugins/devhelp/gbp-devhelp-page.ui            |  18 -
 src/plugins/devhelp/gbp-devhelp-search-private.h   |  46 ---
 src/plugins/devhelp/gbp-devhelp-search.c           | 215 ----------
 src/plugins/devhelp/gbp-devhelp-search.h           |  36 --
 src/plugins/devhelp/gbp-devhelp-search.ui          | 120 ------
 src/plugins/devhelp/gbp-devhelp-session-addin.c    | 164 --------
 src/plugins/devhelp/gbp-devhelp-session-addin.h    |  32 --
 src/plugins/devhelp/gtk/menus.ui                   |  26 --
 src/plugins/devhelp/meson.build                    |  35 --
 src/plugins/devhelp/org.gnome.Devhelp-symbolic.svg |  97 -----
 src/plugins/devhelp/themes/shared.css              |  11 -
 25 files changed, 2343 deletions(-)