Searched refs:tool (Results 1 – 25 of 128) sorted by relevance
123456
23 foreach ($TPL->getConf('showIndividualTool') as $tool):25 if (! isset($tools_menus[$tool])) continue;27 $data = $tools_menus[$tool];34 …n-toggle" data-target="#" data-toggle="dropdown" title="<?php echo $lang[$tool.'_tools'] ?>" role=…35 …an class="<?php echo (in_array($tool, $navbar_labels) ? '' : 'hidden-lg hidden-md hidden-sm') ?>">…41 <?php echo iconify($data['icon']); ?> <?php echo $lang[$tool.'_tools'] ?>66 foreach($tools_menus as $tool => $data):72 <?php echo iconify($data['icon']); ?> <?php echo $lang[$tool.'_tools'] ?>
77 $(DIST_DIR)/images/tool-admin.png \78 $(DIST_DIR)/images/tool-backlink.png \79 $(DIST_DIR)/images/tool-edit.png \80 $(DIST_DIR)/images/tool-index.png \81 $(DIST_DIR)/images/tool-login.png \82 $(DIST_DIR)/images/tool-logout.png \83 $(DIST_DIR)/images/tool-profile.png \84 $(DIST_DIR)/images/tool-recent.png \85 $(DIST_DIR)/images/tool-revisions.png \86 $(DIST_DIR)/images/tool-source.png \[all …]
309 background: transparent url(images/tool-login.png) 0px 1px no-repeat;314 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;318 background: transparent url(images/tool-index.png) 1px 1px no-repeat;322 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;328 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;333 background: transparent url(images/tool-source.png) 0px 1px no-repeat;337 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;341 background: transparent url(images/tool-revisions.png) 0px 1px no-repeat;346 background: transparent url(images/tool-subscribe.png) 0px 1px no-repeat;350 background: transparent url(images/tool-backlink.png) 0px 1px no-repeat;[all …]
79 $(DIST_DIR)/images/tool-admin.png \80 $(DIST_DIR)/images/tool-backlink.png \81 $(DIST_DIR)/images/tool-edit.png \82 $(DIST_DIR)/images/tool-index.png \83 $(DIST_DIR)/images/tool-login.png \84 $(DIST_DIR)/images/tool-logout.png \85 $(DIST_DIR)/images/tool-profile.png \86 $(DIST_DIR)/images/tool-recent.png \87 $(DIST_DIR)/images/tool-revisions.png \88 $(DIST_DIR)/images/tool-source.png \[all …]
359 background: transparent url(images/tool-login.png) 0px 1px no-repeat;364 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;368 background: transparent url(images/tool-index.png) 1px 1px no-repeat;372 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;378 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;383 background: transparent url(images/tool-source.png) 0px 1px no-repeat;387 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;391 background: transparent url(images/tool-revisions.png) 0px 1px no-repeat;398 background: transparent url(images/tool-subscribe.png) 0px 1px no-repeat;402 background: transparent url(images/tool-backlink.png) 0px 1px no-repeat;[all …]
463 background: transparent url(images/tool-login.png) 0px 1px no-repeat;468 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;472 background: transparent url(images/tool-register.png) 0px 1px no-repeat;476 background: transparent url(images/tool-index.png) 1px 1px no-repeat;480 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;486 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;491 background: transparent url(images/tool-source.png) 0px 1px no-repeat;495 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;499 background: transparent url(images/tool-revisions.png) 0px 1px no-repeat;506 background: transparent url(images/tool-subscribe.png) 0px 1px no-repeat;[all …]
371 background: transparent url(images/tool-login.png) 0px 1px no-repeat;376 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;380 background: transparent url(images/tool-index.png) 1px 1px no-repeat;384 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;390 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;395 background: transparent url(images/tool-source.png) 0px 1px no-repeat;399 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;403 background: transparent url(images/tool-revisions.png) 0px 1px no-repeat;410 background: transparent url(images/tool-subscribe.png) 0px 1px no-repeat;414 background: transparent url(images/tool-backlink.png) 0px 1px no-repeat;[all …]
351 background: transparent url(images/tool-login.png) 0px 1px no-repeat;356 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;360 background: transparent url(images/tool-index.png) 1px 1px no-repeat;364 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;370 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;375 background: transparent url(images/tool-source.png) 0px 1px no-repeat;379 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;383 background: transparent url(images/tool-revisions.png) 0px 1px no-repeat;390 background: transparent url(images/tool-subscribe.png) 0px 1px no-repeat;394 background: transparent url(images/tool-backlink.png) 0px 1px no-repeat;[all …]
83 background: __background__ url(images/tool-edit.png) 2px 1px no-repeat;88 background: __background__ url(images/tool-revisions.png) 2px 1px no-repeat;96 background: __background__ url(images/tool-subscribe.png) 2px 2px no-repeat;102 background: __background__ url(images/tool-source.png) 2px 2px no-repeat;107 background: __background__ url(images/tool-revert.png) 2px 2px no-repeat;294 background: transparent url(images/tool-login.png) 0px 1px no-repeat;299 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;304 background: transparent url(images/tool-index.png) 1px 1px no-repeat;309 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;314 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;[all …]
26 You use the ANTLR4 "tool" to generate a parser. These will reference the ANTLR 29 Suppose you're using a UNIX system and have set up an alias for the ANTLR4 tool 37 For a full list of antlr4 tool options, please visit the 38 [tool documentation page](https://github.com/antlr/antlr4/blob/master/doc/tool-options.md).53 Another common option to the ANTLR tool is `-visitor`, which generates a parse 54 tree visitor, but we won't be doing that here. For a full list of antlr4 tool 55 options, please visit the [tool documentation page](tool-options.md).
309 background: transparent url(images/tool-login.png) 0px 1px no-repeat;314 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;319 background: transparent url(images/tool-index.png) 1px 1px no-repeat;324 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;331 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;337 background: transparent url(images/tool-source.png) 0px 1px no-repeat;342 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;347 background: transparent url(images/tool-revisions.png) 0px 1px no-repeat;353 background: transparent url(images/tool-subscribe.png) 0px 1px no-repeat;358 background: transparent url(images/tool-backlink.png) 0px 1px no-repeat;[all …]
302 background: transparent url(images/tool-login.png) 0px 1px no-repeat;307 background: transparent url(images/tool-logout.png) 0px 1px no-repeat;312 background: transparent url(images/tool-index.png) 1px 1px no-repeat;317 background: transparent url(images/tool-recent.png) 0px 1px no-repeat;323 background: transparent url(images/tool-edit.png) 0px 1px no-repeat;329 background: transparent url(images/tool-source.png) 0px 1px no-repeat;334 background: transparent url(images/tool-admin.png) 0px 1px no-repeat;339 background: transparent url(images/tool-revisions.png) 0px 1px no-repeat;345 background: transparent url(images/tool-subscribe.png) 0px 1px no-repeat;350 background: transparent url(images/tool-backlink.png) 0px 1px no-repeat;[all …]
18 div.tool-button {52 div.tool-login {
1 <div id="page-tool" class="d-print-none">
2328 foreach ($tools_menus as $tool => $data) {2353 $tools_menus[$tool]['menu'][$item->getType()]['object'] = $item;2354 $tools_menus[$tool]['menu'][$item->getType()]['html'] = $html;2366 public function getToolMenu($tool) argument2368 return $this->toolsMenu[$tool];2371 public function getToolMenuItem($tool, $item) argument2373 if (isset($this->toolsMenu[$tool]) && isset($this->toolsMenu[$tool]['menu'][$item])) {2374 return $this->toolsMenu[$tool]['menu'][$item]['object'];2379 public function getToolMenuItemLink($tool, $item) argument2381 if (isset($this->toolsMenu[$tool]) && isset($this->toolsMenu[$tool]['menu'][$item])) {[all …]
72 /* make wiki links look the same as tool links in tool bars */89 /* highlight selected tool */