A (half-finished) PHP login system.