<p class="error">The file <?php print($info[2]); ?> is<?php if( basename($_SERVER['PHP_SELF']) == "pagesource.php" ) { print("n't"); } ?> a PHP file, trying to redirect to <?php if( basename($_SERVER['PHP_SELF']) == "pagesource.php" ) { print("readconf.php?page=" . $info[2]); } elseif( basename($_SERVER['PHP_SELF']) == "readconf.php" ) { print("pagesource.php?page=" . $info[2]); } ?>.</p>