Fix unexisting class and PHPDoc

You can't add int here as hint...

@tomneedham