devportal-8.x-2.0-alpha10/devportal.module

<?php

/**
 * @file
 * Module file for the Devportal module.
 */

/**
 * Implements hook_toolbar_alter().
 */
function devportal_toolbar_alter(&$items) {
  $items['administration']['#attached']['library'][] = 'devportal/menu';
}