Updated to Drupal 8.5. Core Media not yet in use.

[yaffs-website] / web / themes / contrib / bootstrap / src / Plugin / PluginManager.php

diff --git a/web/themes/contrib/bootstrap/src/Plugin/PluginManager.php b/web/themes/contrib/bootstrap/src/Plugin/PluginManager.php
index 803bfd052ca4b88d9af1f378450037d3abce9137..f67abdbbe8cfd5560c8ca7973ab51f1b00d461ec 100644 (file)
--- a/web/themes/contrib/bootstrap/src/Plugin/PluginManager.php
+++ b/web/themes/contrib/bootstrap/src/Plugin/PluginManager.php
@@ -1,8 +1,4 @@
 <?php
-/**
- * @file
- * Contains \Drupal\bootstrap\Plugin\PluginManager.
- */
 
 namespace Drupal\bootstrap\Plugin;
 
@@ -81,7 +77,7 @@ class PluginManager extends DefaultPluginManager {
   /**
    * {@inheritdoc}
    */
-  public function createInstance($plugin_id, array $configuration = array()) {
+  public function createInstance($plugin_id, array $configuration = []) {
     if (!isset($configuration['theme'])) {
       $configuration['theme'] = $this->theme;
     }