| @@ -208,8 +208,14 @@ | ||
| 208 | 208 | <?php echo VBOParamsRendering::getInstance($tool_permissions, $tool_settings)->setInputName('tool_perms[' . $tool_id . ']')->getHtml(); ?> |
| 209 | 209 | </div> |
| 210 | 210 | </div> |
| 211 | 211 | </div> |
| 212 | + | |
| 213 | + <?php | |
| 214 | + // if the current user does not have access to this tool, display a warning | |
| 215 | + if ($operator_id && !in_array($tool_id, array_column($operator['perms'], 'type'))): ?> | |
| 216 | + <p class="warn"><?php echo JText::translate('VBO_OPERATOR_NO_TOOL_PERMS'); ?></p> | |
| 217 | + <?php endif; ?> | |
| 212 | 218 | </div> |
| 213 | 219 | <?php |
| 214 | 220 | } |
| 215 | 221 | ?> |
