PushEventDictionary::getPushEventType

static function getPushEventType(string $eventType): ?string
{
	$result = null;

	switch ($eventType)
	{
		case EventDictionary::EVENT_WORKGROUP_ADD:
			$result = self::EVENT_WORKGROUP_ADD;
			break;
		case EventDictionary::EVENT_WORKGROUP_BEFORE_UPDATE:
			$result = self::EVENT_WORKGROUP_BEFORE_UPDATE;
			break;
		case EventDictionary::EVENT_WORKGROUP_UPDATE:
			$result = self::EVENT_WORKGROUP_UPDATE;
			break;
		case EventDictionary::EVENT_WORKGROUP_DELETE:
			$result = self::EVENT_WORKGROUP_DELETE;
			break;
		case EventDictionary::EVENT_WORKGROUP_USER_ADD:
			$result = self::EVENT_WORKGROUP_USER_ADD;
			break;
		case EventDictionary::EVENT_WORKGROUP_USER_UPDATE:
			$result = self::EVENT_WORKGROUP_USER_UPDATE;
			break;
		case EventDictionary::EVENT_WORKGROUP_USER_DELETE:
			$result = self::EVENT_WORKGROUP_USER_DELETE;
			break;
		case EventDictionary::EVENT_WORKGROUP_FAVORITES_CHANGED:
			$result = self::EVENT_WORKGROUP_FAVORITES_CHANGED;
			break;
		case EventDictionary::EVENT_WORKGROUP_PIN_CHANGED:
			$result = self::EVENT_WORKGROUP_PIN_CHANGED;
			break;
		default:
	}

	return $result;
}