summaryrefslogtreecommitdiff
path: root/lib/Properties.hs (unfollow)
Commit message (Collapse)AuthorFilesLines
2022-03-19linter: some work on lintsstuebinm1-34/+41
2022-03-19unbreak a very, very long rebasestuebinm1-5/+4
2022-03-19remove leftover rc3 things & some new stuffstuebinm1-40/+28
this removes: - the bbb properties - all explicit mentions of rc3 - the weird script domain hacks (done via a substitution now) - some (few) of the weirder code choices it also adds some more type level witchery to deal with configs, which for some reason seems to be the hardest problem of this entire program … also the server now does inter-assembly dependency checking!
2022-03-19linter: remove bbb-simulating codestuebinm1-31/+3
2022-03-19make tiled stricter (and organise some imports)stuebinm1-31/+31
2022-03-19separate tiled modules out into own packagestuebinm1-6/+5
2022-03-19switch to universum preludestuebinm1-39/+36
also don't keep adjusted maps around if not necessary
2022-03-19use hpack and clean up modulesstuebinm1-3/+4
as annoying as yaml is, cabal's package format is somehow worse, apparently
2022-03-19use url package for parsing of urlsjonny1-3/+9
2022-03-19fixed url injection by means of starting an url with "." and turning the ↵jonathan1-1/+8
prefix into a subdomain
2021-12-29apparently people are using inter-assembly links internally??stuebinm1-2/+15
lol
2021-12-29collides isn't unknown on tilesstuebinm1-1/+2
2021-12-29maps, maps, and yet more mapsstuebinm1-6/+6
don't add maps to the result if their lint result looks the same as that of another list, just say it happened several times instead (this leads to a rather confusing Eq instance for MapResult which implements a very simple surface-level equality — perhaps change that later)
2021-12-29why aren't boolean values typechecked???stuebinm1-1/+1
2021-12-29tiles can also have properties like tile layersstuebinm1-47/+54
2021-12-28disallow more things in urlsstuebinm1-8/+1
2021-12-28script links can't contain @stuebinm1-1/+3
2021-12-28open BBBs in new Tab so that they work now :/ tabascoeye1-2/+2
PLEASE review! I have no idea of haskell
2021-12-27SECURITY: Fix path traversal in script verificationSerge Bazanski1-2/+3
The following used to be allowed: scripts: https://static.rc3.world/scripts/../maps/81c8add623eea2704f20/e65b545e-342f-4be0-b369-c0eacff7b15d/re-blessed.mp3.js This is obviously not good, as it allows scripts from arbitrary maps.
2021-12-27fix bbb urls a second time …stuebinm1-5/+1
2021-12-27fix bbb url resolutionstuebinm1-1/+1
2021-12-27type systems don't protect against off-by-onestuebinm1-1/+1
2021-12-26openWebsiteTriggerMessage can also be used for openTabstuebinm1-2/+8
2021-12-26Allow to copy sounds for custom JS with ObjectProperty `loadSound`Sven G. Brönstrup1-1/+1
2021-12-26separate blocking for separate contextsstuebinm1-3/+5
(audio links now have their own allowlist, which won't put things through the dereferrer)
2021-12-26change lint msg for property suggestionsstuebinm1-1/+1
2021-12-25add lint if people set tilesetCopyright on tilesstuebinm1-0/+2
2021-12-25apply some hlint hintsstuebinm1-3/+3
2021-12-25the lobby is allowed to contain defunct linksstuebinm1-12/+15
2021-12-25hint if people set collides on tilesetsstuebinm1-1/+2
2021-12-25better lint messagestuebinm1-1/+1
2021-12-24persist, default aren't always booleansstuebinm1-1/+0
2021-12-24smaller changesstuebinm1-1/+1
2021-12-24allow openWebsiteAllowApi if website is on static.rc3.worldstuebinm1-2/+12
2021-12-24allow shared (not just shared-) as prefix for shared jitsisstuebinm1-1/+1
this might make things less confusing for some people
2021-12-23extra lint for people confused by badgesstuebinm1-3/+4
tbh I'm confused by them as well
2021-12-23some people define tilesets without images???stuebinm1-1/+3
2021-12-23openTab's semantics are the same as openWebsite'sstuebinm1-9/+6
(it's not a modifier for openWebsite, as I had previously though)
2021-12-23add suggestions for misspelled propertiesstuebinm1-37/+77
(suggestions are shown only if they have a Damerau-Levenshtein distance <= 4, which seems to yield reasonably good results)
2021-12-23disallow properties with different capitalisationsstuebinm1-10/+7
since apparently sometimes workadventure is case-insensitive, and sometimes it's not
2021-12-22Fixed types of extended scripts propertiesSven G. Brönstrup1-3/+8
2021-12-22shorten Properties.hsstuebinm1-152/+76
down almost 100 lines of code! (and hopefully denotationally equivalent, except for the bits about where it was wrong before and didn't replace uris correctly)
2021-12-21Did some of the desired changesSven G. Brönstrup1-7/+10
2021-12-21check that bbbRoom contains a valid assembly_slugstuebinm1-7/+12
2021-12-21correct bbb link substitutionstuebinm1-10/+11
(unfortunately this one's hardcoded, the config options just aren't general enough)
2021-12-20generalise unwrapURI a bitstuebinm1-4/+19
2021-12-20something something encoding mismatchstuebinm1-1/+1
2021-12-20Resolved merge conflictSven G. Brönstrup1-5/+1
2021-12-20Added extended script action zone propertiesSven G. Brönstrup1-0/+11
2021-12-20forbid opening local html files in iframesstuebinm1-2/+4