* tests/php/xhp/t4.php: for ui explorer