Remove the old versions of the Push API headers.

Remove the old versions of the Push API headers.

These are no longer necessary now that Chromium uses the new paths.

This is part of a three-sided patch:
  [1] https://codereview.chromium.org/888513003/
  [2] https://codereview.chromium.org/894683002/
  [3] This patch.

BUG=453032
Committed: https://src.chromium.org/viewvc/blink?view=rev&revision=189842

[Peter Beverloo, 2015-02-02 12:51:14]

peter@chromium.org changed reviewers:
+ jochen@chromium.org

[Peter Beverloo, 2015-02-02 12:51:15]

+mvanouwerkerk for Push API.
+jochen for the public/ module changes for Push API (removal of old headers).

[Mike West, 2015-02-02 13:19:14]

mkwst@chromium.org changed reviewers:
+ mkwst@chromium.org

[Mike West, 2015-02-02 13:19:15]

LGTM.

[Michael van Ouwerkerk, 2015-02-02 14:00:04]

mvanouwerkerk@chromium.org changed reviewers:
+ mvanouwerkerk@chromium.org

[Michael van Ouwerkerk, 2015-02-02 14:00:05]

lgtm

[jochen (gone - plz use gerrit), 2015-02-04 12:34:28]

lgtm

[Peter Beverloo, 2015-02-09 19:53:43]

The CQ bit was checked by peter@chromium.org

[commit-bot: I haz the power, 2015-02-09 19:54:37]

CQ is trying da patch. Follow status at
 https://chromium-cq-status.appspot.com/patch-status/871643005/20001

[commit-bot: I haz the power, 2015-02-09 21:21:08]

Committed patchset #2 (id:20001) as
https://src.chromium.org/viewvc/blink?view=rev&revision=189842