🚀 Hostinger Optimized
🖥️ Server: Apache
💻 System: Linux webm015.cluster127.gra.hosting.ovh.net 6.18.42-ovh-vps-grsec-zfs+ #1 SMP PREEMPT_DYNAMIC Wed Aug 5 15:59:48 CEST 2026 x86_64
👤 User: stakrfrcol (69043)
🐘 PHP: 8.3.31
🚫 Disabled: _dyuweyrj4,_dyuweyrj4r,dl

💻 Terminal

📁 /home/stakrfrcol/agency
$

📄 ResourceCaster.php

📁 Path: /home/s/t/a/stakrfrcol/dolibarr/htdocs/includes/symfony/var-dumper/Caster/ResourceCaster.php
📊 Size: 1.61 KB
🔒 Perm: 0604
📝 MIME: text/x-php
<?php

/*
 * This file is part of the Symfony package.
 *
 * (c) Fabien Potencier <fabien@symfony.com>
 *
 * For the full copyright and license information, please view the LICENSE
 * file that was distributed with this source code.
 */

namespace Symfony\Component\VarDumper\Caster;

use Symfony\Component\VarDumper\Cloner\Stub;

/**
 * Casts common resource types to array representation.
 *
 * @author Nicolas Grekas <p@tchwork.com>
 */
class ResourceCaster
{
	public static function castCurl($h, array $a, Stub $stub, $isNested)
	{
		return curl_getinfo($h);
	}

	public static function castDba($dba, array $a, Stub $stub, $isNested)
	{
		$list = dba_list();
		$a['file'] = $list[(int) $dba];

		return $a;
	}

	public static function castProcess($process, array $a, Stub $stub, $isNested)
	{
		return proc_get_status($process);
	}

	public static function castStream($stream, array $a, Stub $stub, $isNested)
	{
		$a = stream_get_meta_data($stream) + static::castStreamContext($stream, $a, $stub, $isNested);
		if (isset($a['uri'])) {
			$a['uri'] = new LinkStub($a['uri']);
		}

		return $a;
	}

	public static function castStreamContext($stream, array $a, Stub $stub, $isNested)
	{
		return @stream_context_get_params($stream) ?: $a;
	}

	public static function castGd($gd, array $a, Stub $stub, $isNested)
	{
		$a['size'] = imagesx($gd).'x'.imagesy($gd);
		$a['trueColor'] = imageistruecolor($gd);

		return $a;
	}

	public static function castMysqlLink($h, array $a, Stub $stub, $isNested)
	{
		$a['host'] = mysql_get_host_info($h);
		$a['protocol'] = mysql_get_proto_info($h);
		$a['server'] = mysql_get_server_info($h);

		return $a;
	}
}
← Back📥 Raw✏️ Edit🔒 Chmod
✨ File Manager Magic ✨