badges/issuer_json.php

   1 <?php
   2 // This file is part of Moodle - http://moodle.org/
   3 //
   4 // Moodle is free software: you can redistribute it and/or modify
   5 // it under the terms of the GNU General Public License as published by
   6 // the Free Software Foundation, either version 3 of the License, or
   7 // (at your option) any later version.
   8 //
   9 // Moodle is distributed in the hope that it will be useful,
  10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  12 // GNU General Public License for more details.
  13 //
  14 // You should have received a copy of the GNU General Public License
  15 // along with Moodle.  If not, see <http://www.gnu.org/licenses/>.
  16
  17 /**
  18  * Serve Issuer JSON for related badge or default Issuer if no badge is defined.
  19  *
  20  * @package    core_badges
  21  * @copyright  2020 Sara Arjona <sara@moodle.com>
  22  * @license    http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
  23  */
  24 define('AJAX_SCRIPT', true);
  25 define('NO_MOODLE_COOKIES', true); // No need for a session here.
  26
  27 require_once(__DIR__ . '/../config.php');
  28 require_once($CFG->libdir . '/badgeslib.php');
  29
  30 $id = optional_param('id', null, PARAM_INT);
  31
  32 if (empty($id)) {
  33     // Get the default issuer for this site.
  34     $json = badges_get_default_issuer();
  35 } else {
  36     // Get the issuer for this badge.
  37     $badge = new badge($id);
  38     if ($badge->status != BADGE_STATUS_INACTIVE) {
  39         $json = $badge->get_badge_issuer();
  40     } else {
  41         // The badge doen't exist or not accessible for the users.
  42         header("HTTP/1.0 410 Gone");
  43         $badgeurl = new moodle_url('/badges/issuer_json.php', array('id' => $id));
  44         $json = ['id' => $badgeurl->out()];
  45         $json['error'] = get_string('error:relatedbadgedoesntexist', 'badges');
  46     }
  47 }
  48
  49 echo $OUTPUT->header();
  50 echo json_encode($json);