MediaWiki extension that automatically adds links to words that match titles of existing pages.
				
				
				Updated 2025-07-10 12:51:31 +02:00 
			This MediaWiki extension hides Special Pages to non authenticated users.
				
				
				Updated 2024-07-04 18:10:16 +02:00 
			This MediaWiki extension loads CSS based on authentication of user
				
				
				Updated 2024-07-04 18:05:35 +02:00 
			This MediaWiki extension allows users to create spoiler tags that reveal content on click.
<spoiler> I am a spoiler </spoiler>
				
				
				Updated 2024-07-02 23:37:49 +02:00 
			Bump Server is an elixir based rest server that is used to communicate messages between clients
				
				
				Updated 2023-07-11 11:03:42 +02:00 
			Updated 2023-07-11 11:02:43 +02:00 
			A python client for bump service.  
				
				
				Updated 2023-03-03 11:26:37 +01:00 
			Updated 2022-11-19 00:48:15 +01:00 
			Updated 2022-03-31 11:10:22 +02:00 
			Generates a shortened link to an url
				
				
				Updated 2021-08-12 11:51:16 +02:00 
			Updated 2021-08-09 09:46:00 +02:00 
			Updated 2020-10-24 15:31:47 +02:00 
			Updated 2020-08-26 23:02:51 +02:00 
			Updated 2020-07-25 19:26:59 +02:00 
			This robot was designed and programmed by two colleagues and me:
http://www.thingiverse.com/JRauer
				
				
					
				
				Updated 2019-11-12 23:08:40 +01:00