File Editor
Directories:
.. (Back)
admin
components
json-data
languages
ui
Files:
_et_core_version.php
_metadata.php
functions.php
init.php
php_functions.php
postcss.config.js
updates_init.php
wp_functions.php
Create New File
Create
Edit File: php_functions.php
<?php if ( ! function_exists( 'array_replace' ) ) : function array_replace( array $array, array $array1 ) { $args = func_get_args(); $count = func_num_args(); for ( $i = 0; $i < $count; ++$i ) { if ( is_array( $args[ $i ] ) ) { foreach ( $args[ $i ] as $key => $val ) { $array[ $key ] = $val; } } else { trigger_error( __FUNCTION__ . '(): Argument #' . ( $i + 1 ) . ' is not an array', E_USER_WARNING ); return null; } } return $array; } endif;
Save Changes
Rename File
Rename