Changed the format of the PHP renderer's source + assorted tweaks
Adding and testing some small optimizations
Removed the unnecessary encoding setting from htmlspecialchars() calls