Sid Gifari File Manager

Sid Gifari File Manager

🏠 Root / home / genremedia08 / musicjukebox.overlookedtracks.com / vendor / jetbrains / phpstorm-stubs / recode /

Editing: recode.php

<?php

// Start of recode v.

/**
 * Recode a string according to a recode request
 * @link https://php.net/manual/en/function.recode-string.php
 * @param string $request 
 * The desired recode request type
 * 
 * @param string $string 
 * The string to be recoded
 * 
 * @return string|false the recoded string or FALSE, if unable to
 * perform the recode request.
 * @removed 7.4
 */
function recode_string($request, $string) {}

/**
 * Recode from file to file according to recode request
 * @link https://php.net/manual/en/function.recode-file.php
 * @param string $request 
 * The desired recode request type
 * 
 * @param resource $input 
 * A local file handle resource for
 * the input
 * 
 * @param resource $output 
 * A local file handle resource for
 * the output
 * 
 * @return bool FALSE, if unable to comply, TRUE otherwise.
 * @removed 7.4
 */
function recode_file($request, $input, $output) {}

/**
 * Alias of recode_string
 * @link https://php.net/manual/en/function.recode.php
 * @param $request
 * @param $str
 * @removed 7.4
 */
function recode($request, $str) {}

// End of recode v.