Psalm
Get started
Documentation
Paid support
Plugins
Blog
GitHub
<?php // this pattern is common in my code $value = $_GET['value']; if (isset($value)) { // do something with $value } // two workarounds if (isset($_GET['value'])) { $value = $_GET['value']; // do something with $value } $value = $_GET['value'] ?? null; if (isset($value)) { // do something with $value }
Snippet created on December 11 2023 at 18:17 UTC
Settings
Get link