filippotoso

<?php

$content = file_get_contents(__DIR__ . '/project/public/index.php');
$content = str_replace("__DIR__.'/../", "__DIR__.'/../project/", $content);
file_put_contents(__DIR__ . '/project/public/index.php', $content);

filippotoso

function array_clone($array) {
    return array_slice($array, 0, null, true);
}

filippotoso

/**
 * Get a temporary filename with a specific extension
 * @method temporary_filename
 * @param  string             $dir       The directory where it tries to create the temporary file
 * @param  string             $extension The extension of the file (default: '')
 * @param  string             $prefix    The prefix of the file (default: '')
 * @param  integer            $retry     The number of times it tries to create a random filename (default: 100)
 * @return string|FALSE
 */
function temporary_filename($dir, $extension = '', $prefix = '', $retry = 100) {