- Output for 5.4.0 - 5.4.32
- Fatal error: Call to undefined function executed() in /in/DEfes on line 10
Process exited with code 255.
<?php
switch (42) {
case '12':
echo "wha?";
default:
neverExecuted();
break;
default:
executed();
}