<?php print_r( ini_get('hhvm') ); ?>
You have javascript disabled. You will not be able to edit any code.