Topic on Project:Village Pump

Manual:Coding conventions/Database#MySQL/MariaDB says:

Make sure to include the /*_*/ comment immediately before any table name; ..., and omitting it will cause breakage. Similarly, include the /*$wgDBTableOptions*/ comment after any table declaration, and /*i*/ immediately before any index names.

But tables-generated.sql does not have /*i*/ before index names.

The coding convention should probably be updated.

That seems to be an omission or made in purpose (specially if that table is meant to be shared by all wikis on the same database)

The main tables.sql follows that convention: https://phabricator.wikimedia.org/source/mediawiki/browse/master/maintenance/tables.sql

I don't think a single case should invalidate an entire coding convention.