[gnome-shell-extensions] (25 commits) ...all status area indicators: adapt to gnome-shell API changes

[Giovanni Campagna <gcampagna src gnome org>]

Summary of changes:

  0597577... xrandr-indicator: remove gjs version (*)
  5115abc... xrandr-indicator: port to new extension API (*)
  2732f6d... workspace-indicator: port to new extension API (*)
  6a33fd0... apps-menu, places-menu, drive-menu: port to new extension A (*)
  1c42527... dock: port to new extension API (*)
  e4c9771... alternate-tab: port to new extension API (*)
  67dc01e... example: port to new extension API (*)
  aa38aa1... alternative-status-menu: port to new extension API (*)
  765905f... gajim: port to new extension API (*)
  231e1f6... systemMonitor: port to new extension API (*)
  1eb245c... user-theme: port to new extension API (*)
  5d26fc2... Merge branch 'master' into extension-live-disable (*)
  5f299e1... auto-move-windows: port to new extension API (*)
  f8e40f2... native-window-placement: port to new extension API (*)
  61e6298... windowsNavigator: port to new extension API (*)
  d7e13b4... alternative-status-menu: fix for live disable (*)
  f0a1917... apps-menu: fix for live disable (*)
  ba16a8e... dock: update to new gnome-shell API (*)
  2d82dcb... example: log initialization, enabling and disabling (*)
  871049b... xrandr-indicator: don't reference a non existing property (*)
  cb50830... native-window-placement: fix a bunch of typos related to di (*)
  8351799... systemMonitor: fix typo (*)
  23ecaf9... windowsNavigator: fix a bunch of typos related to disable (*)
  dad3c31... Merge remote-tracking branch 'origin/master' into extension
  8276e6d... all status area indicators: adapt to gnome-shell API change

(*) This commit already existed in another branch; no separate mail sent