| Permissions | Name | Download |
|---|---|---|
| 100755 | Config.php | blob |
| 100644 | ConfigureTool.php | blob |
| 100755 | Createdb.php | blob |
| 100644 | CreditConfig.php | blob |
| 100644 | ExportPublicHelpDb.php | blob |
| 100644 | GroupWikiTool.php | blob |
| 100644 | PublicHelpPages.php | blob |
| 100644 | TokenTool.php | blob |
| 100644 | default_crawl.ini | blob |