37 $base_dir = $dir .
"/data/" .
CLIENT_ID .
"/usr_images";
39 foreach ($user_ids as
$id) {
42 copy(
$source, $base_dir .
"/usr_$id.jpg");
$id
plugin.php for ilComponentBuildPluginInfoObjectiveTest::testAddPlugins
Wiki HTML exporter class.
exportUserImages(string $dir, array $user_ids)
static makeDirParents(string $a_dir)
Create a new directory and all parent directories.
This file is part of ILIAS, a powerful learning management system published by ILIAS open source e-Le...