removal of user_whiteList_original.php

Need to delete and re-add to the server because GitHub client doesn't
pass file name case changes back to the server.