Re-addition of user_whitelist_original.php

Necessary because GitHub client doesn't sync file name case changes.