diff options
author | Roeland Jago Douma <roeland@famdouma.nl> | 2018-02-08 17:41:20 +0300 |
---|---|---|
committer | Roeland Jago Douma <roeland@famdouma.nl> | 2018-02-08 17:41:20 +0300 |
commit | 4238492a9b2da35ca84469e66c3c8a362b08021f (patch) | |
tree | aabee2e65559595a390a474399a903a827757ea5 /go.php | |
parent | a657bde28d430a5abf318fe550824cb68a494022 (diff) |
Add developer-manual entry to go.php
Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
Diffstat (limited to 'go.php')
-rw-r--r-- | go.php | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -34,6 +34,7 @@ $mapping = array( 'admin-update' => '/admin_manual/maintenance/update.html', 'admin-theming-icons' => '/admin_manual/configuration_server/theming.html#theming-of-icons', + 'developer-manual' => '/developer_manual', 'developer-code-integrity'=> '/developer_manual/app/code_signing.html', 'developer-theming' => '/developer_manual/core/theming.html', |