rename wks to workers

This commit is contained in:
Elbandi 2014-05-13 18:59:13 +02:00
parent 257a981c7a
commit 581bc02b44
3 changed files with 3 additions and 3 deletions

View File

@ -38,7 +38,7 @@ module.exports = function(logger){
'getting_started.html': 'getting_started', 'getting_started.html': 'getting_started',
'stats.html': 'stats', 'stats.html': 'stats',
'tbs.html': 'tbs', 'tbs.html': 'tbs',
'wks.html': 'wks', 'workers.html': 'workers',
'api.html': 'api', 'api.html': 'api',
'admin.html': 'admin', 'admin.html': 'admin',
'mining_key.html': 'mining_key' 'mining_key.html': 'mining_key'

View File

@ -51,8 +51,8 @@
Tab Stats Tab Stats
</a> </a>
</li> </li>
<li class="{{? it.selected === 'wks' }}pure-menu-selected{{?}}"> <li class="{{? it.selected === 'workers' }}pure-menu-selected{{?}}">
<a class="hot-swapper" href="/wks"> <a class="hot-swapper" href="/workers">
<i class="fa fa-cogs"></i>&nbsp; <i class="fa fa-cogs"></i>&nbsp;
Workers Stats Workers Stats
</a> </a>