helloWorld.php: remove unnecessary `use`