<?php switch (false) { default: echo 123; default: echo 456; }
You have javascript disabled. You will not be able to edit any code.