walint - A linter for workadventure maps

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