Fixes:
- auto-complete more than one tag
- bookmarklet: support titles containing quotes
- URL encode links when setting a redirector
Major changes:
- tools: fine-grained file/directory permission checks (installation)
- tools: check the 'stable' branch for new versions (updates)
Minor changes:
- add OpenSearch support
- add a Doxygen makefile target
- cleanup: remove `json_encode()` function (built-in since PHP 5.2)
- cleanup: introduce an `ApplicationUtils` class
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2