HtmlFormatter fixes
authorMax Semenik <maxsem.wiki@gmail.com>
Tue, 15 Apr 2014 01:31:20 +0000 (18:31 -0700)
committerMax Semenik <maxsem.wiki@gmail.com>
Tue, 15 Apr 2014 01:31:20 +0000 (18:31 -0700)
commitc10d5a91e033f7c65d8e182b55ae6a3110db7c2f
tree54066399ab6aa70cb5cc79bbaa2a4a4348e6d027
parentbe5fae31d87d3e983aea5579a19db8beace1c465
HtmlFormatter fixes

* Don't fixup HTML if  it hasn't been ruined by libxml2
* More detailed profiling

Change-Id: Ieabce23819f7563fdf17e3f1dfd621d853dae589
includes/HtmlFormatter.php