Matt Pass 568cb08e4a Check if lib/settings.php exists first ...

Because we may include this file from a couple of dirs and I'd rather it
continued to be run from lib/settings.php. By doing it this way round,
we're ensuring this, as lib/lib/settings.php won't exist.

2013-09-03 08:10:21 +01:00

..

config___settings.php

Update to v3.15, new themes and SQL mode

2013-08-11 17:04:53 +01:00

config___users-template.php

tagWrapperCommand setting moved

2013-08-11 16:02:20 +01:00

editor.css

Toned down colors by 20%, gutter BG color change

2013-07-23 08:55:05 +01:00

file-control.php

SQL mode added

2013-08-11 17:07:50 +01:00

file-types.css

SQL mode added

2013-08-11 17:07:50 +01:00

files.css

Refresh icon now has a fixed position

2013-07-07 15:38:17 +01:00

foldcode.js

CSS class name changes

2013-05-29 08:16:33 +01:00

get-branch.php

cmdKey added as alternative to ctrlKey

2013-07-24 08:24:33 +01:00

help.css

Cmd/Ctrl shortcuts, Ctrl+space added and [?] info

2013-07-24 08:23:51 +01:00

help.php

Reduce heading tag wrappers down to h1-h3

2013-08-05 16:28:29 +01:00

ice-coder.css

Find bar same color as gutter and editor now

2013-07-23 08:55:31 +01:00

ice-coder.js

Update function added

2013-08-30 08:35:59 +01:00

ice-coder.min.js

Update function added

2013-08-30 08:35:59 +01:00

mmd.js

Markdown parser added

2013-04-30 17:48:54 +01:00

multiple-results.css

Remove o prefix add ms

2013-07-07 15:27:09 +01:00

multiple-results.php

Use get function where possible

2013-07-07 15:38:58 +01:00

php.ini

Turn magic quotes gpc off

2013-04-20 16:12:32 +01:00

properties.css

Renamed to properties.php & css

2012-10-09 07:57:28 +01:00

properties.php

Now shows st,nd,rd,th on date & no 0 prefixes

2013-03-02 17:00:32 +00:00

settings-screen.css

Remove o prefix and add ms

2013-07-07 15:27:46 +01:00

settings-screen.php

Fix size of the shown select menu

2013-08-11 17:17:53 +01:00

settings.php

Check if lib/settings.php exists first

2013-09-03 08:10:21 +01:00

updater.php

Initial updater script

2013-08-30 09:06:00 +01:00