Thiemo Kreuz 78c25ebcf7 Fix-ups to comments and User interface usages ...

* Use isRegistered() from the more narrow UserIdentity interface.
* More specific type hints.
* Remove comments that literally repeat the code.

Change-Id: Icd0eaf8236be41b258efcf81d581540d2448e9e3

2022-04-20 09:54:25 +02:00

..

Api

Fix-ups to comments and User interface usages

2022-04-20 09:54:25 +02:00

FontRepoCompiler.php

Namespace extension

2022-01-05 10:47:22 +00:00

Hooks.php

Fix-ups to comments and User interface usages

2022-04-20 09:54:25 +02:00

ResourceLoaderULSJsonMessageModule.php

Namespace extension

2022-01-05 10:47:22 +00:00

ResourceLoaderULSModule.php

Fix-ups to comments and User interface usages

2022-04-20 09:54:25 +02:00

ULSJsonMessageLoader.php

Namespace extension

2022-01-05 10:47:22 +00:00