diff --git a/tools/generate-permission-doc.php b/tools/generate-permission-doc.php
index 9dfa15cc7..7d66740aa 100644
--- a/tools/generate-permission-doc.php
+++ b/tools/generate-permission-doc.php
@@ -35,7 +35,9 @@ use function fopen;
 use function fwrite;
 use function getcwd;
 use function ksort;
+use function str_repeat;
 use function str_replace;
+use function strlen;
 use function strtolower;
 use const SORT_STRING;
 use const STDERR;