DB\IO phpdoc and phpstan fixes

2022-12-14 14:18:33 +09:00
parent 9c7b3cea83
commit 6e59b63791
2 changed files with 11 additions and 4 deletions
--- a/www/includes/edit_base.php
+++ b/www/includes/edit_base.php
@@ -116,6 +116,7 @@ $ADMIN_STYLESHEET = 'edit.css';
 // define all needed smarty stuff for the general HTML/page building
 $HEADER['CSS'] = CSS;
 $HEADER['DEFAULT_ENCODING'] = DEFAULT_ENCODING;
+/** @phpstan-ignore-next-line because ADMIN_STYLESHEET can be null */
 $HEADER['STYLESHEET'] = $ADMIN_STYLESHEET ?? ADMIN_STYLESHEET;

 if ($form->my_page_name == 'edit_order') {