cast id to int

This commit is contained in:
Uwe Steinmann 2020-06-24 16:14:58 +02:00
parent 5a3e2578e1
commit 98945e57df

View File

@ -881,12 +881,12 @@ class SeedDMS_Core_Document extends SeedDMS_Core_Object { /* {{{ */
} /* }}} */
/**
* @return int
* @return float
*/
function getSequence() { return $this->_sequence; }
/**
* @param $seq
* @param float $seq
* @return bool
*/
function setSequence($seq) { /* {{{ */