/*
variables.js
Copyright 2004 Jon Lawrence

    This file is part of jsEDIT.

    jsEDIT is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 2 of the License, or
    (at your option) any later version.

    jsEDIT is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU General Public License for more details.

    You should have received a copy of the GNU General Public License
    along with jsEDIT; if not, write to the Free Software
    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

*/

var allText = new Array("");
allText[0] = "<?php";
allText[1] = "/* Copyright 2004";
allText[2] = "* Brian Taylor, David Barnett, Jon Lawrence";
allText[3] = "* Released July 31";
allText[4] = "* Covered by the gpl";
allText[5] = "*/";
allText[6] = "";
allText[7] = "$names[0] = \"Brian Taylor\"; ";
allText[8] = "$names[1] = \"David Barnett\"; ";
allText[9] = "$names[2] = \"Jon Lawrence\";";
allText[10] = "";
allText[11] = "foreach ($names as $name) {"
allText[12] = "	print \"$name would like to thank the academy.<br>\\n\";";
allText[13] = "}";
allText[14] = "?>";


var synText = new Array("");
var statMess = "";
var titleMess = "";
var codeTitle = "phpMyEdit";
var curCode = 0;
var curLine = 0;
var curCol = 0;
var synFind = new Array("&", " ", "\t", "\"", "'", "<", ">");
var synRep  = new Array("&amp;", "&nbsp;", "&nbsp;&nbsp;&nbsp;&nbsp;", "&quot;", "&#039;", "&lt;", "&gt;");