-
Notifications
You must be signed in to change notification settings - Fork 2
/
settings.php_template
executable file
·69 lines (60 loc) · 2.92 KB
/
settings.php_template
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
<?php
/* ---------------------------------------------------------------------------*
* *
* This file is part of Beaneditor *
* *
* _/ *
* /o| *
* |o|| *
* |o|| *
* v\| *
* *
* *
* Beaneditor is free software: you can redistribute it and / or modify it *
* under the terms of the GNU Affero General Public License as published by *
* the Free Software Foundation, either version three of the License or (at *
* your option) any later version. *
* *
* Beaneditor is distributed in hope that it will be useful but WITHOUT ANY *
* WARRANTY; without even the implied warranty of MERCHANTABILTY or FITNESS *
* FOR A PARTICULAR PURPOSE. See the GNU Affero General Public License for *
* more details. *
* *
* You should have received a copy of the GNU Affero General Public License *
* along with Beaneditor. If not, see <http://www.gnu.org/licenses/>. *
* *
*----------------------------------------------------------------------------*/
// database settings
$db_name = "be_{user}";
$db_host = "localhost";
$db_user = "be_{user}";
$db_pass = "{pass}";
// name of your beaneditor
$name = '{name}';
// url to this editor
$home_url = 'http://aneditor.be/{name}';
// default width
$container_width = 1800;
// date format see PHP:s date()-function for syntax
$date_format = "d M Y";
// days/months
$days['Monday'] = 'måndag';
$days['Tuesday'] = 'tisdag';
$days['Wednesday'] = 'onsdag';
$days['Thursday'] = 'torsdag';
$days['Friday'] = 'fredag';
$days['Saturday'] = 'lördag';
$days['Sunday'] = 'söndag';
$months['January'] = 'januari';
$months['February'] = 'februari';
$months['March'] = 'mars';
$months['April'] = 'april';
$months['May'] = 'maj';
$months['June'] = 'juni';
$months['July'] = 'juli';
$months['August'] = 'augusti';
$months['September'] = 'september';
$months['October'] = 'oktober';
$months['November'] = 'november';
$months['December'] = 'december';
?>