Updated mediawiki/extensions
Project: mediawiki/extensions/SecurePoll  d3c8d27cf58a6cf097fb8bc344034ffc3cd5dbf4

Add index to securepoll_options.op_election

Change-Id: I027bd1499c0e43d494771482b3e4fe9998c4564e