From 9815dff76fdb190f68506dc8fe659d449c95f879 Mon Sep 17 00:00:00 2001 From: Krinkle Date: Sun, 12 Feb 2012 18:58:28 +0000 Subject: [PATCH] [Html.php] Follow-up r110275, comment fixes. * $options does not contain