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

5 commits

Author SHA1 Message Date
cfd087d919
Add MPL 2.0 short header to core code files 2020-09-23 23:22:39 +01:00
fa81f0df25
Implement basic Pepperminty Wiki CLI & shell :D
The BkTree tester gave me the idea.

No longer will you have to hope that search indexing will complete in 
time and adjust the maximum execution time for larger wikis..... when 
that's implemented.
2020-03-10 01:47:40 +00:00
4f9f1a6cf9
Add support for core sharding to build script 2019-03-02 21:13:41 +00:00
55989f11b6
Move __halt_compiler(); to by dynamically written by pack.php 2019-03-02 16:47:22 +00:00
f63553fb92
Split core.php up into 16(!) different files.
This has been a looong time in coming. 1.9K links is _far_ too much for 
any file.
2019-03-02 16:45:34 +00:00