tigefa4u projects Trac

MultiRepos: Fixed an error message during syncing to correctly reference the command `trac-admin $ENV repository resync`.

Part of #5993.

MultiRepos: Added a `trac-admin` command `repository set` to change repository metadata like the repository URL or the hidden status.

Part of #5993.

0.12dev: Ensure that the "Basic Settings" admin panel is always first in the admin navigation menu.

Patch by Erik Bray.
Closes #7828.

0.12dev: Avoid URL-encoding a query string when saving it as a report.

Patch by Erik Bray.
Closes #8561.

0.12dev: Tuned default labels for relative links and absolute wiki pages to strip leading "/", "./" and "../".

(Finally) closes #4507.

0.12dev: r8268 from rework-testing was actually merged in r8306 - recording.

0.12dev: Added an option `[trac] auth_cookie_lifetime` that allows controlling the expiration of the auth cookie. The default value remains "at the end of the browsing session".

Closes #2333.

0.12dev: Improved information provided on non-existing wiki pages.

* For hierarchical pages, suggest creating a page with the same name higher in the hierarchy, and format the links to those pages correctly.
* Show a list of pages with similar names.

Closes #4507.

0.12dev: Added some syntactic sugar for `CacheProxy.get()`, and made `WikiSystem.pages` a `set` for faster membership test.

MultiRepos: oops, silly mistake in r8457 (undefined variable)