isset() check flagged as undefined variable #202
Description
I would not expect and error from this code:
21 if ( ! isset( $content_width ) ) { 22 $content_width = 944; 23 }FILE: functions.php ------------------------------------------------------------------------------------------------------------------------- FOUND 0 ERRORS AND 1 WARNING AFFECTING 1 LINE ------------------------------------------------------------------------------------------------------------------------- 21 | WARNING | Variable $content_width is undefined. | | (VariableAnalysis.CodeAnalysis.VariableAnalysis.UndefinedVariable) -------------------------------------------------------------------------------------------------------------------------