[types] typetypetypetypetype

2024-01-15 15:08:22 +00:00
parent 434455b836
commit 589ff69eea
16 changed files with 106 additions and 67 deletions
--- a/core/sanitize_php.php
+++ b/core/sanitize_php.php
@ -9,7 +9,7 @@ namespace Shimmie2;
 * be included right at the very start of index.php and tests/bootstrap.php
 */

-function die_nicely($title, $body, $code = 0)
+function die_nicely(string $title, string $body, int $code = 0): void
 {
    print("<!DOCTYPE html>
 <html lang='en'>