[dev] Horde <!DOCTYPE>

Tue Apr 17 06:37:17 UTC 2018

Horde sets as DOCTYPE in every page

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"DTD/xhtml1-transitional.dtd">

Firefox and IE complain about this, marking the line red in the console. To
the best of my knowledge the DOCTYPE should read

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "
http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">

Questions:
1) Is the missing w3.org server name a misconfiguration on my side?
2) Where is the DOCTYPE defined in Horde?
3) Any reason not to change it?