Search moodle.org's
Developer Documentation

See Release Notes
Long Term Support Release

  • Bug fixes for general core bugs in 4.1.x will end 13 November 2023 (12 months).
  • Bug fixes for security issues in 4.1.x will end 10 November 2025 (36 months).
  • PHP version: minimum PHP 7.4.0 Note: minimum PHP version has increased since Moodle 4.0. PHP 8.0.x is supported too.
/lang/en/ -> media.php (source)
   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   * Language strings for media embedding.
  19   * @package core
  20   * @subpackage media
  21   * @copyright 1999 onwards Martin Dougiamas  {@link http://moodle.com}
  22   * @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
  23   */
  24  
  25  $string['audioextensions'] = 'Audio: {$a}';
  26  $string['defaultwidth'] = 'Default width';
  27  $string['defaultwidthdesc'] = 'Media player width if a width is not specified and the actual media file width cannot be determined by the player.';
  28  $string['defaultheight'] = 'Default height';
  29  $string['defaultheightdesc'] = 'Media player height if a height is not specified and the actual media file height cannot be determined by the player.';
  30  $string['extensions'] = 'Extensions: {$a}';
  31  $string['managemediaplayers'] = 'Manage media players';
  32  $string['mediaformats'] = 'Available players';
  33  $string['mediaformats_desc'] = 'When players are enabled, media files can be embedded using the multimedia plugins filter (if enabled) or using a file or URL resource. When not enabled, these formats are not embedded and users can download or follow links to these resources.
  34  
  35  Where two players support the same format, enabling both increases compatibility across different devices such as mobile phones. It is possible to increase compatibility further by providing multiple files in different formats for a single audio or video clip.';
  36  $string['privacy:metadata'] = 'Media embedding does not store any personal data.';
  37  $string['supports'] = 'Supports';
  38  $string['videoextensions'] = 'Video: {$a}';