From 4f892cad228c3062bfa062de940d403fb2946f89 Mon Sep 17 00:00:00 2001
From: Shish <shish@shishnet.org>
Date: Thu, 9 Feb 2012 11:51:48 +0000
Subject: [PATCH] Confused as to whether InitExtEvent belongs in Initialisation
 or Page Generation, so I removed the distinction

---
 index.php | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/index.php b/index.php
index f392be7c..0a9438d2 100644
--- a/index.php
+++ b/index.php
@@ -74,7 +74,6 @@ _start_cache();
 
 try {
 	// load base files
-	ctx_log_start("Initialisation");
 	ctx_log_start("Opening files");
 	$files = array_merge(glob("core/*.php"), glob("ext/*/main.php"));
 	foreach($files as $filename) {
@@ -99,16 +98,13 @@ try {
 	ctx_log_endok();
 
 	_load_extensions();
-	ctx_log_endok("Initialisation");
 
-	ctx_log_start("Page generation");
 	// start the page generation waterfall
 	$page = class_exists("CustomPage") ? new CustomPage() : new Page();
 	$user = _get_user();
 	send_event(new InitExtEvent());
 	send_event(_get_page_request());
 	$page->display();
-	ctx_log_endok("Page generation");
 
 	$database->db->commit();
 	_end_cache();