1
0
Fork 0

Adding bulma version 2024-09-20 (7dc4972).

Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-04-13 13:17:37 +02:00
parent c79bab334d
commit 642d95ebf4
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
34 changed files with 3481 additions and 0 deletions

View file

@ -0,0 +1,10 @@
<?php
/**
* English language file for template
*
*/
$lang['__existing__'] = 'The color for links to existing pages';
$lang['__missing__'] = 'The color for links to non-existing pages';
$lang['__site_width__'] = 'The width of the full site (can be any length unit: %, px, em, ...)';
$lang['__sidebar_width__'] = 'The width of the sidebar, if any (can be any length unit: %, px, em, ...)';

View file

@ -0,0 +1,8 @@
<?php
/**
* English language file for config
*
*/
$lang['hideTools'] = 'Hide tools when not logged in?';
$lang['sidebarIsNav'] = 'Is the sidebar mainly used for navigation?';

View file

@ -0,0 +1 @@
If you'd like to change the favicon, simply use the Media Manager to upload a ''favicon.ico'' into the ''wiki'' or the root namespace and it will automatically be used. If you use a closed wiki it is recommended to make the ''wiki'' (or root) namespace world readable in the ACL settings or your favicon will not be shown to logged-out users.