1--TEST--
2Phar: PharFileInfo::__destruct
3--SKIPIF--
4<?php if (!extension_loaded("phar")) die("skip"); ?>
5--INI--
6phar.readonly=0
7--FILE--
8<?php
9$fname = __DIR__ . '/' . basename(__FILE__, '.php') . '.phar';
10$pname = 'phar://' . $fname;
11
12$a = new Phar($fname);
13$a['a/subdir/here'] = 'hi';
14
15$b = new PharFileInfo($pname . '/a/subdir');
16unset($b);
17
18$b = new PharFileInfo($pname . '/a/subdir/here');
19unset($b);
20?>
21===DONE===
22--CLEAN--
23<?php unlink(__DIR__ . '/' . basename(__FILE__, '.clean.php') . '.phar'); ?>
24--EXPECT--
25===DONE===
26