Workgroup::sendPinChangedPushEvent

static function sendPinChangedPushEvent(int $groupId, int $userId, string $action): void
{
	PushService::addEvent(
		[$userId],
		[
			'module_id' => 'socialnetwork',
			'command' => 'workgroup_pin_changed',
			'params' => [
				'GROUP_ID' => $groupId,
				'USER_ID' => $userId,
				'ACTION' => $action,
			],
		]
	);
}