Some UI fixes for php.net