Closed
Description
Following is perfectly valid PHP 5.5+ code:
$data = [
['foo', 'Foo'],
['bar', 'Bar'],
];
foreach ($data as list($name, $label)) {
printf('<div id="%s">%s</div>', $name, $label);
}
However, it raises the following warnings:
------------------------------------------
WARNING | Variable $name is undefined.
WARNING | Variable $label is undefined.
------------------------------------------