Merge branch 'master' of ssh://git.eclipse.org/gitroot/www.eclipse.org/ebr

Conflicts:
	index.php
diff --git a/index.php b/index.php
index 63f6e0d..d37a016 100755
--- a/index.php
+++ b/index.php
@@ -69,4 +69,4 @@
 
 	# Generate the web page
 	$App->generatePage($theme, $Menu, $Nav, $pageAuthor, $pageKeywords, $pageTitle, $html);
-?>
\ No newline at end of file
+?>