Installing RevisionCommentSupplement with `install.php --with-extensions` yields:
```
...index ar_revid_uniq already set on archive table.
Creating rev_comment_supp_history table ...[70925ca6a57b4a03fa2dad5b] [no req] Wikimedia\Rdbms\DBQueryError from line 1443 of includes/libs/rdbms/database/Database.php: A database query error has occurred. Did you forget to run your application's database schema updater after upgrading?
Query: ALTER TABLE `rev_comment_supp`
ADD rcs_latest bigint unsigned NOT NULL default 0
Function: Wikimedia\Rdbms\Database::sourceFile( extensions/RevisionCommentSupplement/sql/patch-rev_comment_supp_history.sql )
Error: 1060 Duplicate column name 'rcs_latest' (localhost:/tmp/quibble-mysql-rz3jeo_k/socket)
Backtrace:
#0 includes/libs/rdbms/database/Database.php(1413): Wikimedia\Rdbms\Database->makeQueryException(string, integer, string, string)
#1 includes/libs/rdbms/database/Database.php(1186): Wikimedia\Rdbms\Database->reportQueryError(string, integer, string, string, boolean)
#2 includes/libs/rdbms/database/Database.php(4260): Wikimedia\Rdbms\Database->query(string, string)
#3 includes/libs/rdbms/database/Database.php(4195): Wikimedia\Rdbms\Database->sourceStream(unknown type, NULL, NULL, string, NULL)
#4 includes/installer/DatabaseUpdater.php(683): Wikimedia\Rdbms\Database->sourceFile(string)
#5 includes/installer/DatabaseUpdater.php(726): DatabaseUpdater->applyPatch(string, boolean, string)
#6 includes/installer/DatabaseUpdater.php(482): DatabaseUpdater->addTable(string, string, boolean)
#7 includes/installer/DatabaseUpdater.php(450): DatabaseUpdater->runUpdates(array, boolean)
#8 maintenance/update.php(200): DatabaseUpdater->doUpdates(array)
#9 maintenance/doMaintenance.php(94): UpdateMediaWiki->execute()
#10 maintenance/update.php(245): require_once(string)
#11 {main}
```
Dummy change for testing https://gerrit.wikimedia.org/r/#/c/152585/