cvs: php-gtk-web /wiki index.php

sfox		Tue Jan 10 05:10:20 2006 UTC

  Modified files:              
    /php-gtk-web/wiki	index.php 
  Log:
  grr header sent warnings.  Too tired to go into it right now, just working around.
  [and didn't realize til now we use both files...]
  
http://cvs.php.net/viewcvs.cgi/php-gtk-web/wiki/index.php?r1=1.4&r2=1.5&diff_format=u
Index: php-gtk-web/wiki/index.php
diff -u php-gtk-web/wiki/index.php:1.4 php-gtk-web/wiki/index.php:1.5
--- php-gtk-web/wiki/index.php:1.4	Tue Jan 10 04:21:14 2006
+++ php-gtk-web/wiki/index.php	Tue Jan 10 05:10:20 2006
@@ -19,44 +19,7 @@
     along with this program; if not, write to the Free Software
     Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 */
-?>
-
-<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>
 
-<?php
 if (ini_get('register_globals')) {
   foreach($_REQUEST as $k=>$v) { unset(${$k}); }
 }
@@ -1211,3 +1174,38 @@
 }
 
 ?>
+
+<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>