|
@@ 950-951 (lines=2) @@
|
| 947 |
|
if (strlen($dir)) { |
| 948 |
|
$dir = rtrim($dir, '/') . '/'; |
| 949 |
|
} |
| 950 |
|
if (!isset($chemin['type']) or $chemin['type'] == 'public') { |
| 951 |
|
$chemins['public'][] = "_DIR_PLUGIN_$prefix" . (strlen($dir) ? ".'$dir'" : ""); |
| 952 |
|
} |
| 953 |
|
if (!isset($chemin['type']) or $chemin['type'] == 'prive') { |
| 954 |
|
$chemins['prive'][] = "_DIR_PLUGIN_$prefix" . (strlen($dir) ? ".'$dir'" : ""); |
|
@@ 953-954 (lines=2) @@
|
| 950 |
|
if (!isset($chemin['type']) or $chemin['type'] == 'public') { |
| 951 |
|
$chemins['public'][] = "_DIR_PLUGIN_$prefix" . (strlen($dir) ? ".'$dir'" : ""); |
| 952 |
|
} |
| 953 |
|
if (!isset($chemin['type']) or $chemin['type'] == 'prive') { |
| 954 |
|
$chemins['prive'][] = "_DIR_PLUGIN_$prefix" . (strlen($dir) ? ".'$dir'" : ""); |
| 955 |
|
} |
| 956 |
|
} |
| 957 |
|
} |