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
Merge pull request #1 from php/master

Upstream