index.php <?php   if ( ! isset ( $_SERVER [ 'PHP_AUTH_USER' ]) || ! isset ( $_SERVER [ 'PHP_AUTH_PW' ])) { ...