Shish
|
977c3db1e3
|
PHP7 type annotations
|
2017-09-21 05:21:42 +01:00 |
|
Shish
|
6febdec7b5
|
more explicit variable types
|
2016-06-19 23:05:57 +01:00 |
|
Shish
|
35a4f385b3
|
phpstorm tidying
|
2015-09-12 11:43:28 +01:00 |
|
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 |
|
jgen
|
e2f5c7a6ec
|
Check for null, just in case.
|
2014-04-24 05:09:38 -04:00 |
|
Shish
|
db5aa56300
|
remove a bunch of dead code
|
2014-03-29 11:44:34 +00:00 |
|
Daku
|
a863072bfb
|
DATETIME > SCORE_DATETIME
fixes #354
|
2014-03-02 18:50:46 +00:00 |
|
jgen
|
9892d1f7fd
|
PostgreSQL does not support INDEX() inside the CREATE TABLE method. You must create the index as a separate query. Fortunately MySQL also support this way of doing things as well.
|
2014-02-22 23:02:11 -05:00 |
|
Shish
|
261dee5a7c
|
hacky source history
|
2013-05-18 13:52:11 +01:00 |
|