From 15586ed80e122e775130c280e7d56d6ae3d10441 Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Fri, 12 Aug 2022 21:09:15 +0100 Subject: [PATCH] Fix CS --- tools/generate-permission-doc.php | 2 ++ 1 file changed, 2 insertions(+) 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;