How to split domain info from username in PHP
<p>PHP is pulling the user id as <code>"domain\username"</code> through <code>$_SERVER['AUTH_USER']</code> 
I am looking to be able to echo just the username in the html.</p>
