diff options
| author | 2020-05-03 13:39:16 +0200 | |
|---|---|---|
| committer | 2020-05-03 13:39:16 +0200 | |
| commit | b1aac20839f6e1f3e733774eeb5984ce7b08c246 (patch) | |
| tree | 3581e72c05a22fdb65624d53fd8481eb1c9a5da0 /app/Models/Category.php | |
| parent | 83ba09c2a5f0ad12e7b6536d1c3b7cb4a8072005 (diff) | |
Fever integer type for numbers (#2946)
* Fever integer type for feed ID
#Fix
https://github.com/FreshRSS/FreshRSS/issues/2940#issuecomment-623022435
* Fix feed_id
* Ensure string for entry ID
To be compatible with 32-bit platforms.
Before, the type was inconsistent depending on architecture + database
* Integer for entry count functions
Diffstat (limited to 'app/Models/Category.php')
| -rw-r--r-- | app/Models/Category.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Models/Category.php b/app/Models/Category.php index 6956029ad..cee137138 100644 --- a/app/Models/Category.php +++ b/app/Models/Category.php @@ -78,7 +78,7 @@ class FreshRSS_Category extends Minz_Model { } public function _id($id) { - $this->id = $id; + $this->id = intval($id); if ($id == FreshRSS_CategoryDAO::DEFAULTCATEGORYID) { $this->_name(_t('gen.short.default_category')); } |
