1 | <?php |
||
20 | class Util |
||
21 | { |
||
22 | /** |
||
23 | * Array representation of a path. |
||
24 | * |
||
25 | * @param string $path |
||
26 | * @return array |
||
27 | */ |
||
28 | public static function pathToArray($path) |
||
32 | |||
33 | /** |
||
34 | * Is the given subDir a sub directory of given parentDir. |
||
35 | * |
||
36 | * @param array $subDir |
||
37 | * @param array $parentDir |
||
38 | * @return bool |
||
39 | */ |
||
40 | public static function isSubDirectoryOf(array $subDir, array $parentDir) |
||
49 | |||
50 | /** |
||
51 | * Return the relative path from parentDir to subDir. |
||
52 | * |
||
53 | * @param array $subDir |
||
54 | * @param array $parentDir |
||
55 | * @return string |
||
56 | */ |
||
57 | public static function getSubPathOf(array $subDir, array $parentDir) |
||
69 | } |
||
70 |