cast to int for incoming table_idx values 3.6.2
authorMatteo Nastasi (mop) <nastasi@alternativeoutput.com>
Sun, 4 Dec 2011 09:17:39 +0000 (10:17 +0100)
committerMatteo Nastasi (mop) <nastasi@alternativeoutput.com>
Sun, 4 Dec 2011 09:17:39 +0000 (10:17 +0100)
commitf4afdf81ecddcfa6490fe164bc431c2110dee54b
tree02dd548e228ab538ae281e4ad62404789f28be77
parent0c0725455c4c965b8eafeb7dad0453b7cd0e4ac0
cast to int for incoming table_idx values
web/briskin5/index_wr.php
web/index_wr.php