php-api-clients / pusher

GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.

Completed

Pull Request — master (#7)

by David

created 2017-09-06 13:04 UTC

Changes

	2 issues (1 major, 1 minor) were introduced. 2 issues were fixed.
	Test Coverage has increased to 87% (+13%).
	12 added classes/operations
		A	Event::jsonSerialize() added
		A	Event::isError() added
		A	Event::subscriptionSucceeded() added
		A	Event::connectionEstablished() added
		A	Event::subscribeOn() added
		A	Event::unsubscribeOn() added
		A	Event::ping() added
		A	WebSocket::__construct() added
		A	WebSocket::_subscribe() added
		B	AsyncClient::timeout() added
B	↗	A	AsyncClient::create() improved
view all

9.37

▲ + 0.12

Test Coverage

87%

▲ +13% – Changes

Head	David Dan 2017-09-06 13:04 GMT+0000 Merge 2eb141d66eae987a066a515dcf15f3ee2a2e8a0d into eb67f1d8f720a327c62dae6080e79b59d2e4369c
⋮	8 more commits
Base	Cees-Jan Kiewiet 2017-09-06 12:17 UTC Removed dunit contrib instructions