Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php /** * @return non-empty-string */ function nonEmptyString(string $str): string { return strlen($str) > 0 ? $str : 'string'; } /** * @return non-empty-string */ function nonEmptyMbString(string $str): string { return mb_strlen($str) > 0 ? $str : 'string'; }
Snippet created on January 13 2022 at 19:16 UTC
Settings
Get link