<?php $x = 123; var_dump($x ?: 456);
You have javascript disabled. You will not be able to edit any code.