Merge branch 'stable-3.1'

Marius Burkard

2016-02-12 5e6c79892d949176a7fe0ec4ce2e5c67e5130ef1

 interface/web/tools/lib/menu.d/resync.menu.php

@@ -11,7 +11,6 @@
      'target'  => 'content',
      'link' => 'tools/resync.php');


   $module['nav'][] = array( 'title' => 'Sync Tools',
      'open'  => 1,
      'items' => $items);