Fixes to make TravisCI happy.

classes/output/core_renderer.php

@@ -154,7 +154,6 @@ class core_renderer extends \theme_boost\output\core_renderer {
         $html .= html_writer::start_div('pull-xs-left');
         $html .= $this->context_header();
         $html .= html_writer::end_div();
-        /** @noinspection SpellCheckingInspection */
         $pageheadingbutton = $this->page_heading_button();
         if (empty($PAGE->layout_options['nonavbar'])) {
             $html .= html_writer::start_div('clearfix w-100 pull-xs-left', array('id' => 'page-navbar'));

settings.php

@@ -368,7 +368,8 @@ if ($ADMIN->fulltree) {
         get_string('navdrawerheadingsetting', 'theme_boost_campus', null, true), null);
     $page->add($setting);
 
-    // Create default homepage on top control widget (switch label and description depending on what will really happen on the site).
+    // Create default homepage on top control widget
+    // (switch label and description depending on what will really happens on the site).
     if (get_config('core', 'defaulthomepage') == HOMEPAGE_SITE) {
         $page->add(new admin_setting_configcheckbox('theme_boost_campus/defaulthomepageontop',
             get_string('sitehomeontopsetting', 'theme_boost_campus', null, true),