1
0
Fork 0
mirror of https://github.com/sbrl/Pepperminty-Wiki.git synced 2024-11-22 16:33:00 +00:00
Commit graph

16 commits

Author SHA1 Message Date
0f30af6f83 Add comment_time_icon setting and add link to edit master settings from credits 2017-05-20 12:33:26 +01:00
7c2a0a2e91 Create commenting system for logged in users. It's currently untested! 2017-05-13 15:35:18 +01:00
b200820562 Write a few core functions for.... user pages! Yeah, #132, you're up! 2017-02-11 12:01:49 +00:00
855079b438 Put space into settings 2016-12-23 18:36:23 +00:00
c4796c57bd Add user preferences button next to username 2016-12-23 18:18:39 +00:00
7ba0d62cc8 Update users object to support storing arbitrary data. 2016-12-12 18:38:26 +00:00
9629ddd232 Add link to random page in more menu 2016-12-08 20:37:19 +00:00
44e2348ab2 Add initial dynamic page suggestions. Works better in Firefox than chrome - implements idea in #113 2016-11-20 13:24:35 +00:00
e5d56badf3 Finish gui settings display. Currently it doesn't read them back in again. 2016-10-30 10:50:38 +00:00
763e174fd8 Clarify CSS url feature in guiconfig. 2016-10-18 19:08:34 +01:00
6476877c60 Attempted to implement Opensearch (#112), but it doesn't work :/ 2016-10-18 18:57:24 +01:00
0ade04c3bb Set the expiry on the session cookie. Fixes #113.\nThis commit adds a new settings property, 'sessionlifetime', so we need to add in #83 now. 2016-10-18 18:57:14 +01:00
0253ab6c0e Moved history logic to core & tied it in with $env.
Also fixed a few bugs in view & upgraded the display mode.
2016-10-18 18:34:27 +01:00
ad6a12da5b Finish initial settings rewrite 2016-06-22 09:13:32 +01:00
01bdf96d2d Begin work on reworking the settings. 2016-06-12 21:06:27 +01:00
0c47056fc8 Created initial guiconfig file. 2016-06-11 16:48:43 +01:00