Push notifications API documentation

Version: stable

The Push notifications module has been moved into an external extension library available on here.