trim

ShawnMcCool/phansi

Supported Versions: PHP 4, PHP 5, PHP 7, PHP 8

Strip whitespace (or other characters) from the beginning and end of a string

<?php trim(string $string, string $characters = " \n\r\t\v\x00"): string

<?php function terminal_cursor_position()

{

    $ttyprops = trim(`stty -g`);

    system('stty -icanon -echo');



    $term = fopen('/dev/tty', 'w');

src/functions.php