Update workbench.php

Array workbench change