Enhanced PHP File Manager

⬆️ Go Up (..)

📊 Server Information

Server:

LiteSpeed

System:

Linux 5.14.0-611.24.1.el9_7.x86_64

PHP Version:

8.2.30

User:

u784288082

Directory:

/home/u784288082/domains/digitechhealthcare.com/public_html/ila/vendor/psy/psysh/src/Manual

Free Space:

8.79 TB

🔧 Quick Actions

✏️ Editing: ManualInterface.php

<?php

/*
 * This file is part of Psy Shell.
 *
 * (c) 2012-2025 Justin Hileman
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */

namespace Psy\Manual;

/**
 * Interface for PHP manual loaders.
 *
 * Provides a unified interface for accessing PHP manual documentation
 * regardless of the underlying storage format (SQLite, Phar, PHP file).
 */
interface ManualInterface
{
    /**
     * Get documentation for a given ID.
     *
     * @param string $id Documentation ID (e.g., 'strlen', 'PDO::query')
     *
     * @return string|array|null Formatted string (v2) or structured data (v3), or null if not found
     */
    public function get(string $id);

/**
     * Get the manual format version.
     *
     * @return int Major version number
     */
    public function getVersion(): int;

/**
     * Get manual metadata (version, language, build date, etc).
     *
     * @return array Manual metadata
     */
    public function getMeta(): array;
}

❌ Cancel

🗂️ Enhanced PHP File Manager

📊 Server Information

🔧 Quick Actions

✏️ Editing: ManualInterface.php

📤 Upload File

📁 Create Folder

📄 Create File

✏️ Rename Item

🗑️ Delete Confirmation