ILIAS  trunk Revision v11.0_alpha-3011-gc6b235a2e85
Notifications.php
Go to the documentation of this file.
1<?php
2
19declare(strict_types=1);
20
21namespace ILIAS;
22
24{
25 public function init(
26 array | \ArrayAccess &$define,
27 array | \ArrayAccess &$implement,
28 array | \ArrayAccess &$use,
29 array | \ArrayAccess &$contribute,
30 array | \ArrayAccess &$seek,
31 array | \ArrayAccess &$provide,
32 array | \ArrayAccess &$pull,
33 array | \ArrayAccess &$internal,
34 ): void {
35 $contribute[\ILIAS\Setup\Agent::class] = static fn() =>
37 $pull[\ILIAS\Refinery\Factory::class],
38 $seek[\ILIAS\Notifications\Interfaces\PushProviderInterface::class]
39 );
40 $contribute[Component\Resource\PublicAsset::class] = fn() =>
41 new Component\Resource\ComponentJS($this, "notifications.js");
42 $contribute[Component\Resource\PublicAsset::class] = fn() =>
43 new Component\Resource\ComponentJS($this, "js/dist/BrowserNotifications.min.js");
44 $contribute[Component\Resource\PublicAsset::class] = fn() =>
45 new Component\Resource\ComponentJS($this, "push-subscription.js");
46 $contribute[Component\Resource\PublicAsset::class] = fn() =>
47 new Component\Resource\ComponentCSS($this, "osd.css");
48 $contribute[Component\Resource\PublicAsset::class] = fn() =>
49 new Component\Resource\OfComponent($this, "receive.mp3", "assets/sounds");
50 $contribute[Component\Resource\PublicAsset::class] = fn() =>
51 new Component\Resource\OfComponent($this, "receive.ogg", "assets/sounds");
52 $contribute[User\Settings\UserSettings::class] = fn() =>
54 }
55}
This is a css file provided by some component.
This is a js file provided by some component.
Definition: ComponentJS.php:27
An public asset that is a resource of some component.
Definition: OfComponent.php:27
Builds a Color from either hex- or rgb values.
Definition: Factory.php:31
init(array|\ArrayAccess &$define, array|\ArrayAccess &$implement, array|\ArrayAccess &$use, array|\ArrayAccess &$contribute, array|\ArrayAccess &$seek, array|\ArrayAccess &$provide, array|\ArrayAccess &$pull, array|\ArrayAccess &$internal,)
A component is the most general form of an entity in the UI.
Definition: Component.php:28
Interface Observer \BackgroundTasks Contains several chained tasks and infos about them.