cvs: php-gtk-web /wiki index.php pmwiki.php
[email protected] ("Steph Fox")
| Newsgroups | php.gtk.webmaster |
|---|---|
| Message-ID | <cvssfox1136871939@cvsserver> |
sfox Tue Jan 10 05:45:39 2006 UTC
Modified files:
/php-gtk-web/wiki index.php pmwiki.php
Log:
should work now
http://cvs.php.net/viewcvs.cgi/php-gtk-web/wiki/index.php?r1=1.5&r2=1.6&diff_format=u
Index: php-gtk-web/wiki/index.php
diff -u php-gtk-web/wiki/index.php:1.5 php-gtk-web/wiki/index.php:1.6
--- php-gtk-web/wiki/index.php:1.5 Tue Jan 10 05:10:20 2006
+++ php-gtk-web/wiki/index.php Tue Jan 10 05:45:39 2006
@@ -99,7 +99,42 @@
\"http://www.w3.org/TR/html40/loose.dtd\">
<html><head>\n";
$HTMLTitleFmt = " <title>\$WikiTitle - \$HTMLTitle</title>\n";
-$HTMLHeaders = '';
+$HTMLHeaders = <<<EOT
+<SCRIPT LANGUAGE="JavaScript" TYPE="text/javascript">
+<!--
+function check_post() {
+
+ var namevalue = document.editform.author.value;
+ var textvalue = document.editform.text.value;
+ var uc = /[A-Z]/;
+ var i, x = 0;
+
+ /* 'Describe ' opens an unedited page. Nobody should be leaving that in
+ place if they're performing a genuine page edit... */
+ if (textvalue.substr(0, 9) == 'Describe ') {
+ window.alert('No editing appears to have taken place');
+ return false;
+ }
+ /* Randomly generated names are more likely to end in a capital letter */
+ if (uc.test(namevalue.substring(namevalue.length - 1))) {
+ return window.confirm('Please confirm that the name given is valid');
+ }
+
+ /* Randomly generated names often exceed genuine use of capitalization */
+ for (i = 0; i < namevalue.length; i++) {
+ if (uc.test(namevalue.substring(i))) {
+ x++;
+ if (x > 3) {
+ return window.confirm('Please confirm that the name given is valid');
+ }
+ }
+ }
+
+ return true;
+}
+//-->
+</SCRIPT>
+EOT;
$HTMLHeaderFmt = array(&$HTMLHeaders);
$HTMLBodyFmt = "</head>\n<body>";
$HTMLStartFmt = array('headers:',&$HTMLDoctypeFmt,&$HTMLHeaderFmt,
@@ -1174,38 +1209,3 @@
}
?>
-
-<SCRIPT LANGUAGE="JavaScript" TYPE="text/javascript">
-<!--
-function check_post() {
-
- var namevalue = document.editform.author.value;
- var textvalue = document.editform.text.value;
- var uc = /[A-Z]/;
- var i, x = 0;
-
- /* 'Describe ' opens an unedited page. Nobody should be leaving that in
- place if they're performing a genuine page edit... */
- if (textvalue.substr(0, 9) == 'Describe ') {
- window.alert('No editing appears to have taken place');
- return false;
- }
- /* Randomly generated names are more likely to end in a capital letter */
- if (uc.test(namevalue.substring(namevalue.length - 1))) {
- return window.confirm('Please confirm that the name given is valid');
- }
-
- /* Randomly generated names often exceed genuine use of capitalization */
- for (i = 0; i < namevalue.length; i++) {
- if (uc.test(namevalue.substring(i))) {
- x++;
- if (x > 3) {
- return window.confirm('Please confirm that the name given is valid');
- }
- }
- }
-
- return true;
-}
-//-->
-</SCRIPT>
http://cvs.php.net/viewcvs.cgi/php-gtk-web/wiki/pmwiki.php?r1=1.5&r2=1.6&diff_format=u
Index: php-gtk-web/wiki/pmwiki.php
diff -u php-gtk-web/wiki/pmwiki.php:1.5 php-gtk-web/wiki/pmwiki.php:1.6
--- php-gtk-web/wiki/pmwiki.php:1.5 Tue Jan 10 05:07:57 2006
+++ php-gtk-web/wiki/pmwiki.php Tue Jan 10 05:45:39 2006
@@ -99,7 +99,42 @@
\"http://www.w3.org/TR/html40/loose.dtd\">
<html><head>\n";
$HTMLTitleFmt = " <title>\$WikiTitle - \$HTMLTitle</title>\n";
-$HTMLHeaders = '';
+$HTMLHeaders = <<<EOT
+<SCRIPT LANGUAGE="JavaScript" TYPE="text/javascript">
+<!--
+function check_post() {
+
+ var namevalue = document.editform.author.value;
+ var textvalue = document.editform.text.value;
+ var uc = /[A-Z]/;
+ var i, x = 0;
+
+ /* 'Describe ' opens an unedited page. Nobody should be leaving that in
+ place if they're performing a genuine page edit... */
+ if (textvalue.substr(0, 9) == 'Describe ') {
+ window.alert('No editing appears to have taken place');
+ return false;
+ }
+ /* Randomly generated names are more likely to end in a capital letter */
+ if (uc.test(namevalue.substring(namevalue.length - 1))) {
+ return window.confirm('Please confirm that the name given is valid');
+ }
+
+ /* Randomly generated names often exceed genuine use of capitalization */
+ for (i = 0; i < namevalue.length; i++) {
+ if (uc.test(namevalue.substring(i))) {
+ x++;
+ if (x > 3) {
+ return window.confirm('Please confirm that the name given is valid');
+ }
+ }
+ }
+
+ return true;
+}
+//-->
+</SCRIPT>
+EOT;
$HTMLHeaderFmt = array(&$HTMLHeaders);
$HTMLBodyFmt = "</head>\n<body>";
$HTMLStartFmt = array('headers:',&$HTMLDoctypeFmt,&$HTMLHeaderFmt,
@@ -1175,38 +1210,3 @@
}
?>
-
-<SCRIPT LANGUAGE="JavaScript" TYPE="text/javascript">
-<!--
-function check_post() {
-
- var namevalue = document.editform.author.value;
- var textvalue = document.editform.text.value;
- var uc = /[A-Z]/;
- var i, x = 0;
-
- /* 'Describe ' opens an unedited page. Nobody should be leaving that in
- place if they're performing a genuine page edit... */
- if (textvalue.substr(0, 9) == 'Describe ') {
- window.alert('No editing appears to have taken place');
- return false;
- }
- /* Randomly generated names are more likely to end in a capital letter */
- if (uc.test(namevalue.substring(namevalue.length - 1))) {
- return window.confirm('Please confirm that the name given is valid');
- }
-
- /* Randomly generated names often exceed genuine use of capitalization */
- for (i = 0; i < namevalue.length; i++) {
- if (uc.test(namevalue.substring(i))) {
- x++;
- if (x > 3) {
- return window.confirm('Please confirm that the name given is valid');
- }
- }
- }
-
- return true;
-}
-//-->
-</SCRIPT>