Peter Spicer 1db0e7aa25 ! Cast the user id to an int when we first get it set up because that's the right thing to do. Essentially as per #338 and #355 but without any edit conflicts. 11 years ago
..
default 1db0e7aa25 ! Cast the user id to an int when we first get it set up because that's the right thing to do. Essentially as per #338 and #355 but without any edit conflicts. 11 years ago
index.php a18e888838 10610 13 years ago