admin/tools.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  * Provides an overview of installed admin tools
  19  *
  20  * Displays the list of found admin tools, their version (if found) and
  21  * a link to uninstall the admin tool.
  22  *
  23  * The code is based on admin/localplugins.php by David Mudrak.
  24  *
  25  * @package   admin
  26  * @copyright 2011 Petr Skoda {@link http://skodak.org}
  27  * @license   http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
  28  */
  29
  30 require_once(__DIR__ . '/../config.php');
  31 require_once($CFG->libdir.'/adminlib.php');
  32 require_once($CFG->libdir.'/tablelib.php');
  33
  34 admin_externalpage_setup('managetools');
  35
  36 echo $OUTPUT->header();
  37 echo $OUTPUT->heading(get_string('tools', 'admin'));
  38
  39 /// Print the table of all installed tool plugins
  40
  41 $struninstall = get_string('uninstallplugin', 'core_admin');
  42
  43 $table = new flexible_table('toolplugins_administration_table');
  44 $table->define_columns(array('name', 'version', 'uninstall'));
  45 $table->define_headers(array(get_string('plugin'), get_string('version'), $struninstall));
  46 $table->define_baseurl($PAGE->url);
  47 $table->set_attribute('id', 'toolplugins');
  48 $table->set_attribute('class', 'admintable generaltable');
  49 $table->setup();
  50
  51 $plugins = array();
  52 foreach (core_component::get_plugin_list('tool') as $plugin => $plugindir) {
  53     if (get_string_manager()->string_exists('pluginname', 'tool_' . $plugin)) {
  54         $strpluginname = get_string('pluginname', 'tool_' . $plugin);
  55     } else {
  56         $strpluginname = $plugin;
  57     }
  58     $plugins[$plugin] = $strpluginname;
  59 }
  60 core_collator::asort($plugins);
  61
  62 $like = $DB->sql_like('plugin', '?', true, true, false, '|');
  63 $params = array('tool|_%');
  64 $installed = $DB->get_records_select('config_plugins', "$like AND name = 'version'", $params);
  65 $versions = array();
  66 foreach ($installed as $config) {
  67     $name = preg_replace('/^tool_/', '', $config->plugin);
  68     $versions[$name] = $config->value;
  69     if (!isset($plugins[$name])) {
  70         $plugins[$name] = $name;
  71     }
  72 }
  73
  74 foreach ($plugins as $plugin => $name) {
  75     $uninstall = '';
  76     if ($uninstallurl = core_plugin_manager::instance()->get_uninstall_url('tool_'.$plugin, 'manage')) {
  77         $uninstall = html_writer::link($uninstallurl, $struninstall);
  78     }
  79
  80     if (!isset($versions[$plugin])) {
  81         if (file_exists("$CFG->dirroot/$CFG->admin/tool/$plugin/version.php")) {
  82             // not installed yet
  83             $version = '?';
  84         } else {
  85             // no version info available
  86             $version = '-';
  87         }
  88     } else {
  89         $version = $versions[$plugin];
  90         if (file_exists("$CFG->dirroot/$CFG->admin/tool/$plugin")) {
  91             $version = $versions[$plugin];
  92         } else {
  93             // somebody removed plugin without uninstall
  94             $name = '<span class="notifyproblem">'.$name.' ('.get_string('missingfromdisk').')</span>';
  95             $version = $versions[$plugin];
  96         }
  97     }
  98
  99     $table->add_data(array($name, $version, $uninstall));
 100 }
 101
 102 $table->print_html();
 103
 104 echo $OUTPUT->footer();