<?php
header('Content-Type: text/html; charset=UTF-8');

$file = substr( $_SERVER['REQUEST_URI'], 12 );

if( in_array( $file, array( 'index.php', 'home.php', 'abuse.php', 'badrequest.php', 'viewsource.php' ) ) ) {
    highlight_file( $file );
}