mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-12-18 19:12:16 +00:00
c490dc8164
Per Manuel Arostegui in T263817#7033384. As I understand, this is just for consistency with tables in MediaWiki core. Given that all tables are created with "DEFAULT CHARSET=binary" (as defined in $wgDBTableOptions), there is no difference in behavior between these two types. Bug: T263817 Change-Id: I8dabcb45e447e0bf60b119fd4f7d6532147a44fc |
||
---|---|---|
.. | ||
discussiontools_subscription.sql |