PHP DeviceInterface Beispiele

Beispiel #1

Datei: DeviceManager.php Projekt: ppiedaderawnet/concrete5

 /**
  * @param Device $device
  */
 public function register(DeviceInterface $device)
 {
     $this->container[$device->getHandle()] = $device;
 }

Beispiel #2

Datei: Notification.php Projekt: scotwells/gcm

 public function hasDevice(DeviceInterface $device)
 {
     return array_key_exists($device->getRegistrationId(), $this->deviceMap);
 }