<?php function returnInt(): int { echo 42; }
You have javascript disabled. You will not be able to edit any code.