/** * Sets an int element of the record data array. * * @param string $key key of the element to set (must be non-empty) * @param int $value the value that will be written into the element * * @return void */ public function setRecordPropertyInteger($key, $value) { parent::setRecordPropertyInteger($key, $value); }