Matthew Barbour
|
826c623538
|
PageMode constants
|
2019-06-18 21:04:31 -05:00 |
|
Shish
|
e77f7de7f9
|
Fixes for tag / source history
|
2019-06-09 08:32:01 +01:00 |
|
Shish
|
34b05cca7c
|
PSR-2. I'm not a huge fan, but ugly consistency beats no consistency...
|
2019-05-28 17:59:38 +01:00 |
|
Shish
|
5ec3e89884
|
php7.1 all the things
|
2019-05-28 17:31:20 +01:00 |
|
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 |
|