Calling launch() via launch()
CallToLaunchDetected
Calling launch() via Launch()
CallToLaunchDetected
Calling launch() via LAuNcH()
CallToLaunchDetected

012345678910
123

TextFormat test:
Calling echo(clean("Blah ".ESCAPE.ESCAPE."cc").BR);
Blah c
Calling echo(clean("Blah ".ESCAPE."c").BR);
Blah
Calling clean("Blah ".ESCAPE)
Blah

How about some AJAX?

Code of this Website:


<?php
    const ESCAPE = "\xc2\xa7";
    function clean($string, $removeFormat = true){
        if($removeFormat){
            return str_replace(ESCAPE, "", preg_replace(["/". ESCAPE ."[0123456789abcdefklmnor]/", "/\x1b[\\(\\][[0-9;\\[\\(]+[Bm]/"], "", $string));
        }
        return str_replace("\x1b", "", preg_replace("/\x1b[\\(\\][[0-9;\\[\\(]+[Bm]/", "", $string));
    }
    const BR = "</br>";
    function launch(){
        echo("CallToLaunchDetected".BR);
    }
    echo("Calling launch() via launch()".BR);
    launch();
    echo("Calling launch() via Launch()".BR);
    Launch();
    echo("Calling launch() via LAuNcH()".BR);
    LAuNcH();
    echo(BR);
    for($i = 0; $i <= 10; $i++){
        echo($i);
    }
    echo(BR);
    for($i = 1; $i <= 3; $i++){
        echo($i);
    }
    echo(BR.BR);
    echo("TextFormat test:".BR);
    echo('Calling echo(clean("Blah ".ESCAPE.ESCAPE."cc").BR);'.BR);
    echo(clean("Blah ".ESCAPE.ESCAPE."cc").BR);
    echo('Calling echo(clean("Blah ".ESCAPE."c").BR);'.BR);
    echo(clean("Blah ".ESCAPE."c").BR);
    echo('Calling clean("Blah ".ESCAPE)'.BR);
    echo(clean("Blah ".ESCAPE)).BR;
    echo(BR);
    echo("How about some AJAX?");
    echo(BR.BR."Code of this Website:".BR);
    highlight_file(__FILE__);
    echo(BR."END_OF_FILE");
    #phpinfo();
    exit;

?>

END_OF_FILE