mikemiles86/workbench-scheduler — pull request #2 by Chris820 (2014-07-04 03:10:53+00:00)
Title: Update workbench_scheduler.admin.inc

Noticed your comment at: https://www.drupal.org/node/2231993#comment-8683713
This would be something that would beneifit our usage of your module too.
So I had a first stab at what you mentioned.