summaryrefslogtreecommitdiff
path: root/lib/Properties.hs (follow)
Commit message (Expand)AuthorAgeFilesLines
* linter: some work on lintsstuebinm2022-03-191-34/+41
* unbreak a very, very long rebasestuebinm2022-03-191-5/+4
* remove leftover rc3 things & some new stuffstuebinm2022-03-191-40/+28
* linter: remove bbb-simulating codestuebinm2022-03-191-31/+3
* make tiled stricter (and organise some imports)stuebinm2022-03-191-31/+31
* separate tiled modules out into own packagestuebinm2022-03-191-6/+5
* switch to universum preludestuebinm2022-03-191-39/+36
* use hpack and clean up modulesstuebinm2022-03-191-3/+4
* use url package for parsing of urlsjonny2022-03-191-3/+9
* fixed url injection by means of starting an url with "." and turning the pref...jonathan2022-03-191-1/+8
* apparently people are using inter-assembly links internally??stuebinm2021-12-291-2/+15
* collides isn't unknown on tilesstuebinm2021-12-291-1/+2
* maps, maps, and yet more mapsstuebinm2021-12-291-6/+6
* why aren't boolean values typechecked???stuebinm2021-12-291-1/+1
* tiles can also have properties like tile layersstuebinm2021-12-291-47/+54
* disallow more things in urlsstuebinm2021-12-281-8/+1
* script links can't contain @stuebinm2021-12-281-1/+3
* open BBBs in new Tab so that they work now :/ tabascoeye2021-12-281-2/+2
* SECURITY: Fix path traversal in script verificationSerge Bazanski2021-12-271-2/+3
* fix bbb urls a second time …stuebinm2021-12-271-5/+1
* fix bbb url resolutionstuebinm2021-12-271-1/+1
* type systems don't protect against off-by-onestuebinm2021-12-271-1/+1
* openWebsiteTriggerMessage can also be used for openTabstuebinm2021-12-261-2/+8
* Allow to copy sounds for custom JS with ObjectProperty `loadSound`Sven G. Brönstrup2021-12-261-1/+1
* separate blocking for separate contextsstuebinm2021-12-261-3/+5
* change lint msg for property suggestionsstuebinm2021-12-261-1/+1
* add lint if people set tilesetCopyright on tilesstuebinm2021-12-251-0/+2
* apply some hlint hintsstuebinm2021-12-251-3/+3
* the lobby is allowed to contain defunct linksstuebinm2021-12-251-12/+15
* hint if people set collides on tilesetsstuebinm2021-12-251-1/+2
* better lint messagestuebinm2021-12-251-1/+1
* persist, default aren't always booleansstuebinm2021-12-241-1/+0
* smaller changesstuebinm2021-12-241-1/+1
* allow openWebsiteAllowApi if website is on static.rc3.worldstuebinm2021-12-241-2/+12
* allow shared (not just shared-) as prefix for shared jitsisstuebinm2021-12-241-1/+1
* extra lint for people confused by badgesstuebinm2021-12-231-3/+4
* some people define tilesets without images???stuebinm2021-12-231-1/+3
* openTab's semantics are the same as openWebsite'sstuebinm2021-12-231-9/+6
* add suggestions for misspelled propertiesstuebinm2021-12-231-37/+77
* disallow properties with different capitalisationsstuebinm2021-12-231-10/+7
* Fixed types of extended scripts propertiesSven G. Brönstrup2021-12-221-3/+8
* shorten Properties.hsstuebinm2021-12-221-152/+76
* Did some of the desired changesSven G. Brönstrup2021-12-211-7/+10
* Merge branch 'main' into extended-scriptsSven G. Brönstrup2021-12-211-15/+36
|\
| * check that bbbRoom contains a valid assembly_slugstuebinm2021-12-211-7/+12
| * correct bbb link substitutionstuebinm2021-12-211-10/+11
| * generalise unwrapURI a bitstuebinm2021-12-201-4/+19
| * something something encoding mismatchstuebinm2021-12-201-1/+1
* | Resolved merge conflictSven G. Brönstrup2021-12-201-5/+1
* | Merge branch 'main' into extended-scriptsSven G. Brönstrup2021-12-201-1/+4
|\|