Ticket #177 (new enhancement)
Export of static HTML for offline browsing
| Reported by: | MasinAlDujaili | Owned by: | unassigned |
|---|---|---|---|
| Priority: | low | Milestone: | blue-sky |
| Component: | database | Version: | 1.1.6.1 |
| Severity: | minor | Keywords: | |
| Cc: |
Description (last modified by DarTar) (diff)
Function for dumping of wiki pages for convenient offline browsing. Maybe as an extension of the usersettings action, because dumps should be user specific, e.g. rights of logged-in user apply for dump. On usersettings then there'd be a button labelled 'Export' which'd activate the compilation of HTML files into a ZIP file, that'd be sent to the user as download.
Naming could occur simply by page name followed by '.html'. All internal links would be substituted by their '.html' equivalents.
Maybe this feature creates some server load so the admin might want to disable it. A more advanced export function could allow selection of output format, e.g. .CHM, .PDF etc.