1<?php
2$p = new Phar(__FILE__);
3var_dump(isset($p["test.txt"]), isset($p["newname"]));
4rename("phar://" . __FILE__ . "/test.txt", "phar://" . __FILE__ . "/newname");
5var_dump(isset($p["test.txt"]), isset($p["newname"]));
6echo "ok\n";
7__HALT_COMPILER(); ?>
86���������������������test.txt���M��H������E�������<?php __HALT_COMPILER();��8��.��X�N�ݱƊ�k���GBMB