<?php
    //Эта часть программы просто выводит весь код на экран
    $text=htmlspecialchars(file_get_contents(__FILE__));
    $html = preg_replace('/(\$[a-z]\w*)/is','<b>$1</b>',$text);
    echo "<pre>$html</pre>";

    //Этот микрокусочек кода показывает как вернуться на предыдущую страницу:

    if (@$_SERVER['HTTP_REFERER'] != null) {
            header("Location: ".$_SERVER['HTTP_REFERER']);

        }
?>