pkp/omp — comment on commit 8b5a562e4cbee61d9d3c1929f639623a45eb89c0
File: pages/management/ToolsHandler.inc.php line 63
By asmecher:

This is stylistic, but I favour using array_shift($args) rather than $args[0] just in case $args comes in empty.