For generating flash cards from the PHP Manual