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

Free Space:

250.34 GB

🔧 Quick Actions

✏️ Editing: ArrayDefinitionExtension.php

<?php

declare(strict_types=1);

namespace DI\Definition;

use DI\Definition\Exception\InvalidDefinition;

/**
 * Extends an array definition by adding new elements into it.
 *
 * @since 5.0
 * @author Matthieu Napoli <matthieu@mnapoli.fr>
 */
class ArrayDefinitionExtension extends ArrayDefinition implements ExtendsPreviousDefinition
{
    private ?ArrayDefinition $subDefinition = null;

public function getValues() : array
    {
        if (! $this->subDefinition) {
            return parent::getValues();
        }

return array_merge($this->subDefinition->getValues(), parent::getValues());
    }

public function setExtendedDefinition(Definition $definition) : void
    {
        if (! $definition instanceof ArrayDefinition) {
            throw new InvalidDefinition(sprintf(
                'Definition %s tries to add array entries but the previous definition is not an array',
                $this->getName()
            ));
        }

$this->subDefinition = $definition;
    }
}

❌ Cancel

🗂️ Enhanced PHP File Manager

📊 Server Information

🔧 Quick Actions

✏️ Editing: ArrayDefinitionExtension.php

📤 Upload File

📁 Create Folder

📄 Create File

✏️ Rename Item

🗑️ Delete Confirmation