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