Simple todo list in PHP under 10k