widgets: Rename voting_widget to poll_widget.

This ensures greater consistency with our other widgets' naming
convention.
This commit is contained in:
Tim Abbott
2018-12-16 19:46:27 -08:00
parent 8a90441d2f
commit 7485cb2a50
8 changed files with 16 additions and 16 deletions

View File

@@ -4,7 +4,7 @@ var exports = {};
var widgets = {};
widgets.poll = voting_widget;
widgets.poll = poll_widget;
widgets.tictactoe = tictactoe_widget;
widgets.todo = todo_widget;
widgets.zform = zform;