Replace </dev> by </div> + Improve readability of php-generated html