Merge branch '148-push-id-api' into 'master'
Resolve "Push id API" Closes #148 See merge request jankstudio/resq!145
This commit is contained in:
commit
7a9bfcfa8b
1 changed files with 2 additions and 2 deletions
|
|
@ -38,13 +38,13 @@ class MobileSession
|
||||||
|
|
||||||
// device id or push id used by device
|
// device id or push id used by device
|
||||||
/**
|
/**
|
||||||
* @ORM\Column(type="string", length=200)
|
* @ORM\Column(type="string", length=200, nullable=true)
|
||||||
*/
|
*/
|
||||||
protected $device_push_id;
|
protected $device_push_id;
|
||||||
|
|
||||||
// phone id
|
// phone id
|
||||||
/**
|
/**
|
||||||
* @ORM\Column(type="string", length=50)
|
* @ORM\Column(type="string", length=50, nullable=true)
|
||||||
*/
|
*/
|
||||||
protected $phone_id;
|
protected $phone_id;
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue