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
parent 5009917eba
commit 78c25ebcf7
5 changed files with 4 additions and 6 deletions
--- a/scripts/compile-font-repo.php
+++ b/scripts/compile-font-repo.php
@@ -1,6 +1,5 @@
 <?php
 /**
- *
 * @author Niklas Laxström
 * @license GPL-2.0-or-later
 * @file
--- a/scripts/generate-font-test-page.php
+++ b/scripts/generate-font-test-page.php
@@ -1,6 +1,5 @@
 <?php
 /**
- *
 * @author Niklas Laxström
 * @license GPL-2.0-or-later
 * @file