- $vals['pageid'] = intval( $row->rev_page );
- $vals['revid'] = intval( $row->rev_id );
- // $vals['textid'] = intval( $row->rev_text_id ); // todo: Should this field be exposed?
+ $vals['pageid'] = (int)$row->rev_page;
+ $vals['revid'] = (int)$row->rev_id;
+ // $vals['textid'] = (int)$row->rev_text_id; // todo: Should this field be exposed?