<?php function hello(): void { echo "world"; } hello("world");
You have javascript disabled. You will not be able to edit any code.