Merge pull request #12 from Croydon/master

Remove XHTML

* Croydon/master:
  Add meta charset + small fix
  One more XHTML tag in js
  Remove XHTML
Remove dependency on PEAR/Tree package
Simplify package_exists() function
Exit script execution directly in redirect()
Simplify marking related bugs a little
Remove shortcut to 5.3 bugs as it's EOL'd
Merge pull request #2 from php/master

Upstream