<?php echo (ini_get('hhvm.pid_file')||ini_get('pid'));
You have javascript disabled. You will not be able to edit any code.