Minor - flint fixes

pull/3023/head
Julio Montoya 6 years ago
parent 9430595dc1
commit 7342a11ff7
  1. 2
      main/inc/lib/api.lib.php
  2. 3
      main/inc/lib/plugin.lib.php

@ -1905,7 +1905,7 @@ function api_get_course_path($course_code = null)
* Gets a course setting from the current course_setting table. Try always using integer values. * Gets a course setting from the current course_setting table. Try always using integer values.
* *
* @param string $setting_name The name of the setting we want from the table * @param string $setting_name The name of the setting we want from the table
* @param array $course_info * @param array $course_info
* *
* @return mixed The value of that setting in that table. Return -1 if not found. * @return mixed The value of that setting in that table. Return -1 if not found.
*/ */

@ -33,7 +33,6 @@ class AppPlugin
public $installedPluginListObject = []; public $installedPluginListObject = [];
private static $instance; private static $instance;
/** /**
* Constructor. * Constructor.
*/ */
@ -42,7 +41,7 @@ class AppPlugin
} }
/** /**
* @return AppPlugin * @return AppPlugin
*/ */
public static function getInstance() public static function getInstance()
{ {

Loading…
Cancel
Save