5 commits

Author	SHA1	Message	Date
Shish	98c1c763aa	show when tags/sources were set on the history pages	2015-04-26 12:45:32 +01:00
Daku	8c2d8df81d	use html5 input types ... we would use type='url' for source but non-urls can be used as source too	2015-04-18 10:39:34 +01:00
jgen	a58bdbdc62	More PHP Doc comments.	2014-04-29 17:45:13 -04:00
jgen	1ca3865a1c	Removing the closing PHP "?>" tag as per style guidelines. (Also see: https://stackoverflow.com/questions/4410704/why-would-one-omit-the-close-tag )	2014-04-25 22:54:51 -04:00
Shish	261dee5a7c	hacky source history	2013-05-18 13:52:11 +01:00