telefonicaid/WebAPISpecs — pull request #19 by blsaws (2013-07-04 17:57:04+00:00)
Title: Replace references to web intents with "push service extension"

Since web intents is shelved for now, we need a fallback method for
user-managed push service selection/configuration. Browser extensions
are a reasonable method, where supported.