1 | <?php |
||
20 | class Util |
||
21 | { |
||
22 | /** |
||
23 | * Array representation of a path. |
||
24 | * |
||
25 | * @param string $path |
||
26 | * @return array |
||
27 | */ |
||
28 | 4 | public static function pathToArray(string $path) : array |
|
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 | 6 | public static function isSubDirectoryOf(array $subDir, array $parentDir) : bool |
|
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 | 4 | public static function getSubPathOf(array $subDir, array $parentDir) : string |
|
69 | } |
||
70 |