Last modified: 2012-06-13 23:40:59 UTC
According to <https://en.wikipedia.org/wiki/Special:Version>, the CongressLookup extension (<https://www.mediawiki.org/wiki/Extension:CongressLookup>) is currently installed. It's no longer needed, as far as I know, and can safely be uninstalled. God willing it won't ever be needed again.
Adding shell keyword. Lowest priority, minor importance.
Adding 'ops' keyword, as there are tables to delete. Code review: https://gerrit.wikimedia.org/r/#/c/11144/ Tables to remove: * cl_house * cl_senate * cl_zip3 * cl_zip5
Change has been successfully merged into the git repository and then deployed. The extension is now removed, according https://en.wikipedia.org/wiki/Special:Version