Close wfProfileIn

Exit point missed by r85204

diff --git a/index.php b/index.php
index 3b7195c..5e5f47c 100644 (file)
--- a/index.php
+++ b/index.php
@@ -96,6 +96,8 @@ function wfIndexMain() {
                        } else {
                                echo "Waiting for a database server: $lag seconds lagged\n";
                        }
+                       wfProfileOut( 'index.php-setup' );
+                       wfProfileOut( 'index.php' );
                        return;
                }
        }