The full PHPStan analysis that runs on push to develop (and *.0 branches)
reported 5 new 'always true/false' errors, not caught by the per-PR diff
analysis and not yet in the baseline:
- htdocs/document.php: is_numeric() on the int-cast $entity is always true;
the redundant check is removed.
- htdocs/salaries/stats/index.php: $mode is hardcoded to 'statistics', so the
three view-switch button state comparisons are constant; replaced with their
literal results (1/1/2) and removed the now-unused $mode.
- htdocs/theme/md/style.css.php: method_exists($menumanager, 'showmenu') is
always true since $menumanager is a MenuManager; the redundant check is removed.
Behaviour is unchanged.
6f0bc87209