(And some others unrelated to above issue, because its spring and i'm
cleaning).
public static function get_behat_dir($runprocess = 0) {
global $CFG;
- // If not set then return empty string.
- if (!isset($CFG->behat_dataroot)) {
+ // If not set then return empty string.
+ if (!isset($CFG->behat_dataroot)) {
return "";
- }
+ }
if (empty($runprocess)) {
$behatdir = $CFG->behat_dataroot . '/behat';
}
/**
- * hook to allow plagiarism specific information to be displayed beside a submission
+ * hook to allow plagiarism specific information to be displayed beside a submission
* @param array $linkarraycontains all relevant information for the plugin to generate a link
* @return string
- *
*/
public function get_links($linkarray) {
return '';
/**
* This code processes switch device requests-> ... -> Theme selector UI.
- *
+ *
* This script doesn't require login as not logged in users should still
* be able to switch the device theme they are using.
*