lib/editor/htmlarea/lang/en.php

   1 <?php // $Id$
   2     include("../../../../config.php");
   3     $lastmodified = filemtime("en.php");
   4     $lifetime = 1800;
   5
   6     // Commenting this out since it's creating problems
   7     // where solution seem to be hard to find...
   8     // http://moodle.org/mod/forum/discuss.php?d=34376
   9     //if ( function_exists('ob_gzhandler') ) {
  10     //    ob_start("ob_gzhandler");
  11     //}
  12
  13     header("Content-type: application/x-javascript; charset: utf-8");  // Correct MIME type
  14     header("Last-Modified: " . gmdate("D, d M Y H:i:s", $lastmodified) . " GMT");
  15     header("Expires: " . gmdate("D, d M Y H:i:s", time() + $lifetime) . " GMT");
  16     // See Bug #2387
  17     header("Cache-control: max_age = -1");
  18     header("Pragma: no-cache");
  19
  20 ?>
  21 // I18N constants
  22
  23 // LANG: "en", ENCODING: UTF-8 | ISO-8859-1
  24 // Author: Mihai Bazon, <mishoo@infoiasi.ro>
  25
  26 // FOR TRANSLATORS:
  27 //
  28 //   1. PLEASE PUT YOUR CONTACT INFO IN THE ABOVE LINE
  29 //      (at least a valid email address)
  30 //
  31 //   2. PLEASE TRY TO USE UTF-8 FOR ENCODING;
  32 //      (if this is not possible, please include a comment
  33 //       that states what encoding is necessary.)
  34 HTMLArea.I18N = {
  35
  36     // the following should be the filename without .js extension
  37     // it will be used for automatically load plugin language.
  38     lang: "en",
  39
  40     tooltips: {
  41         bold:           "<?php print_string("bold","editor") ?>",
  42         italic:         "<?php print_string("italic","editor") ?>",
  43         underline:      "<?php print_string("underline","editor") ?>",
  44         strikethrough:  "<?php print_string("strikethrough","editor") ?>",
  45         subscript:      "<?php print_string("subscript","editor") ?>",
  46         superscript:    "<?php print_string("superscript","editor") ?>",
  47         justifyleft:    "<?php print_string("justifyleft","editor") ?>",
  48         justifycenter:  "<?php print_string("justifycenter","editor") ?>",
  49         justifyright:   "<?php print_string("justifyright","editor") ?>",
  50         justifyfull:    "<?php print_string("justifyfull","editor") ?>",
  51         insertorderedlist:    "<?php print_string("orderedlist","editor") ?>",
  52         insertunorderedlist:  "<?php print_string("unorderedlist","editor") ?>",
  53         outdent:        "<?php print_string("outdent","editor") ?>",
  54         indent:         "<?php print_string("indent","editor") ?>",
  55         forecolor:      "<?php print_string("forecolor","editor") ?>",
  56         hilitecolor:    "<?php print_string("hilitecolor","editor") ?>",
  57         inserthorizontalrule: "<?php print_string("horizontalrule","editor") ?>",
  58         createlink:     "<?php print_string("createlink","editor") ?>",
  59         unlink:         "<?php print_string("removelink","editor") ?>",
  60         nolink:         "<?php print_string("nolink","editor") ?>",
  61         insertimage:    "<?php print_string("insertimage","editor") ?>",
  62         inserttable:    "<?php print_string("inserttable","editor") ?>",
  63         htmlmode:       "<?php print_string("htmlmode","editor") ?>",
  64         popupeditor:    "<?php print_string("popupeditor","editor") ?>",
  65         about:          "<?php print_string("about","editor") ?>",
  66         showhelp:       "<?php print_string("showhelp","editor") ?>",
  67         textindicator:  "<?php print_string("textindicator","editor") ?>",
  68         undo:           "<?php print_string("undo","editor") ?>",
  69         redo:           "<?php print_string("redo","editor") ?>",
  70         cut:            "<?php print_string("cut","editor") ?>",
  71         copy:           "<?php print_string("copy","editor") ?>",
  72         paste:          "<?php print_string("paste","editor") ?>",
  73         insertsmile:    "<?php print_string("insertsmile","editor") ?>",
  74         insertchar:     "<?php print_string("insertchar","editor") ?>",
  75         search_replace: "<?php print_string("searchandreplace","editor") ?>",
  76         clean:          "<?php print_string("wordclean","editor") ?>",
  77         lefttoright:    "<?php print_string("lefttoright","editor");?>",
  78         righttoleft:    "<?php print_string("righttoleft","editor");?>"
  79     },
  80
  81     buttons: {
  82         "ok":           "<?php print_string("ok","editor") ?>",
  83         "cancel":       "<?php print_string("cancel","editor") ?>",
  84         "browse":       "<?php print_string("browse","editor") ?>"
  85     },
  86
  87     msg: {
  88         "Path":         "<?php print_string("path","editor") ?>",
  89         "TEXT_MODE":    "<?php print_string("textmode","editor") ?>"
  90     }
  91 };