index
:
walint
main
playground
structured-badges
A linter for workadventure maps
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
Properties.hs
(
unfollow
)
Commit message (
Expand
)
Author
Files
Lines
2022-03-19
make tiled stricter (and organise some imports)
stuebinm
1
-31
/
+31
2022-03-19
separate tiled modules out into own package
stuebinm
1
-6
/
+5
2022-03-19
switch to universum prelude
stuebinm
1
-39
/
+36
2022-03-19
use hpack and clean up modules
stuebinm
1
-3
/
+4
2022-03-19
use url package for parsing of urls
jonny
1
-3
/
+9
2022-03-19
fixed url injection by means of starting an url with "." and turning the pref...
jonathan
1
-1
/
+8
2021-12-29
apparently people are using inter-assembly links internally??
stuebinm
1
-2
/
+15
2021-12-29
collides isn't unknown on tiles
stuebinm
1
-1
/
+2
2021-12-29
maps, maps, and yet more maps
stuebinm
1
-6
/
+6
2021-12-29
why aren't boolean values typechecked???
stuebinm
1
-1
/
+1
2021-12-29
tiles can also have properties like tile layers
stuebinm
1
-47
/
+54
2021-12-28
disallow more things in urls
stuebinm
1
-8
/
+1
2021-12-28
script links can't contain @
stuebinm
1
-1
/
+3
2021-12-28
open BBBs in new Tab so that they work now :/
tabascoeye
1
-2
/
+2
2021-12-27
SECURITY: Fix path traversal in script verification
Serge Bazanski
1
-2
/
+3
2021-12-27
fix bbb urls a second time …
stuebinm
1
-5
/
+1
2021-12-27
fix bbb url resolution
stuebinm
1
-1
/
+1
2021-12-27
type systems don't protect against off-by-one
stuebinm
1
-1
/
+1
2021-12-26
openWebsiteTriggerMessage can also be used for openTab
stuebinm
1
-2
/
+8
2021-12-26
Allow to copy sounds for custom JS with ObjectProperty `loadSound`
Sven G. Brönstrup
1
-1
/
+1
2021-12-26
separate blocking for separate contexts
stuebinm
1
-3
/
+5
2021-12-26
change lint msg for property suggestions
stuebinm
1
-1
/
+1
2021-12-25
add lint if people set tilesetCopyright on tiles
stuebinm
1
-0
/
+2
2021-12-25
apply some hlint hints
stuebinm
1
-3
/
+3
2021-12-25
the lobby is allowed to contain defunct links
stuebinm
1
-12
/
+15
2021-12-25
hint if people set collides on tilesets
stuebinm
1
-1
/
+2
2021-12-25
better lint message
stuebinm
1
-1
/
+1
2021-12-24
persist, default aren't always booleans
stuebinm
1
-1
/
+0
2021-12-24
smaller changes
stuebinm
1
-1
/
+1
2021-12-24
allow openWebsiteAllowApi if website is on static.rc3.world
stuebinm
1
-2
/
+12
2021-12-24
allow shared (not just shared-) as prefix for shared jitsis
stuebinm
1
-1
/
+1
2021-12-23
extra lint for people confused by badges
stuebinm
1
-3
/
+4
2021-12-23
some people define tilesets without images???
stuebinm
1
-1
/
+3
2021-12-23
openTab's semantics are the same as openWebsite's
stuebinm
1
-9
/
+6
2021-12-23
add suggestions for misspelled properties
stuebinm
1
-37
/
+77
2021-12-23
disallow properties with different capitalisations
stuebinm
1
-10
/
+7
2021-12-22
Fixed types of extended scripts properties
Sven G. Brönstrup
1
-3
/
+8
2021-12-22
shorten Properties.hs
stuebinm
1
-152
/
+76
2021-12-21
Did some of the desired changes
Sven G. Brönstrup
1
-7
/
+10
2021-12-21
check that bbbRoom contains a valid assembly_slug
stuebinm
1
-7
/
+12
2021-12-21
correct bbb link substitution
stuebinm
1
-10
/
+11
2021-12-20
generalise unwrapURI a bit
stuebinm
1
-4
/
+19
2021-12-20
something something encoding mismatch
stuebinm
1
-1
/
+1
2021-12-20
Resolved merge conflict
Sven G. Brönstrup
1
-5
/
+1
2021-12-20
Added extended script action zone properties
Sven G. Brönstrup
1
-0
/
+11
2021-12-20
forbid opening local html files in iframes
stuebinm
1
-2
/
+4
2021-12-20
disallow extended API variables in links
stuebinm
1
-0
/
+2
2021-12-19
Wrap urls for inline iframes
Sven G. Brönstrup
1
-0
/
+3
2021-12-19
Added bell properties
Sven G. Brönstrup
1
-4
/
+36
2021-12-19
Only suggert door properties on variables
Sven G. Brönstrup
1
-15
/
+15
[next]