<?php phpversion() >= "7.0.0beta1" or die(); echo "(int) INF: ",(int) INF,"\n";
You have javascript disabled. You will not be able to edit any code.