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

[Diego Escalante Urrelo <diegoe src gnome org>]

The branch 'peas' was created.

Summary of new commits:

  b95c65a... m4: update EXTENSIONS macro
  5450f22... extensions-manager: deprecated by libpeas-gtk
  9c2fd0f... tab-states: port to peas
  b694b8f... tab-key-tab-navigate: port to libpeas
  933a2de... push-scroller: port to libpeas
  ff497e9... html5tube: port to libpeas
  0ad836f... greasemonkey: port to libpeas
  af9e0e9... soup-fly: port to libpeas
  fb383a4... push-scroller: fixup
  fde60f5... gestures: port to libpeas
  18c0582... actions: port to libpeas
  9be9cd7... adblock: port to libpeas
  8d9a71b... auto-reload: port to libpeas
  c9ff527... auto-scroller: ported to libpeas
  04f4f55... certificates: ported to libpeas