Re-generate PHP Notification API docs