wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 00:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Discus.../maintenance
History
Umherirrender 186e79d41b Use user_properties.up_value with string in database query 
The field up_value is a varbinary and should be provided as string,
not all rdbms implicit converts int/strings

Change-Id: Ideb28ad9cc475dad84d0f7dc45a0f3c286f4487c
2024-05-02 23:25:20 +02:00
..
NewTopicOptOutActiveUsers.php Use user_properties.up_value with string in database query 2024-05-02 23:25:20 +02:00
persistRevisionThreadItems.php Remove now redundant PHPDoc blocks 2024-03-10 23:53:04 +00:00