File Editor

Directories:

.. (Back)

Files:

Create New File

Edit File: file.php

<?php
namespace Elementor\Core\Logger\Items;

if ( ! defined( 'ABSPATH' ) ) {
	exit; // Exit if accessed directly
}

class File extends Base {

const FORMAT = 'date [type X times][file:line] message [meta]';

protected $file;
	protected $line;

public function __construct( $args ) {
		parent::__construct( $args );

$this->file = empty( $args['file'] ) ? '' : $args['file'];
		$this->line = empty( $args['line'] ) ? '' : $args['line'];
	}

#[\ReturnTypeWillChange]
	public function jsonSerialize() {
		$json_arr = parent::jsonSerialize();
		$json_arr['file'] = $this->file;
		$json_arr['line'] = $this->line;
		return $json_arr;
	}

public function deserialize( $properties ) {
		parent::deserialize( $properties );
		$this->file = ! empty( $properties['file'] ) && is_string( $properties['file'] ) ? $properties['file'] : '';
		$this->line = ! empty( $properties['line'] ) && is_string( $properties['line'] ) ? $properties['line'] : '';
	}

public function get_name() {
		return 'File';
	}
}

File Editor

Directories:

Files:

Create New File

Edit File: file.php

Rename File