[epiphany-extensions] (15 commits) Created branch peas

[Diego Escalante Urrelo <diegoe src gnome org>]

The branch 'peas' was created.

Summary of new commits:

  d7d5439... m4: update EXTENSIONS macro
  702f240... extensions-manager: deprecated by libpeas-gtk
  4633da1... tab-states: port to peas
  a4efd14... tab-key-tab-navigate: port to libpeas
  eb0bcae... push-scroller: port to libpeas
  d7c71ea... html5tube: port to libpeas
  d76419e... greasemonkey: port to libpeas
  ab37f80... soup-fly: port to libpeas
  ef79aef... push-scroller: fixup
  b33e768... gestures: port to libpeas
  54ae564... actions: port to libpeas
  a5539ad... adblock: port to libpeas
  7f32d6d... auto-reload: port to libpeas
  6186d86... auto-scroller: ported to libpeas
  63776e3... certificates: ported to libpeas