profiling fix
authorTim Starling <tstarling@users.mediawiki.org>
Sun, 11 Sep 2005 11:25:55 +0000 (11:25 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Sun, 11 Sep 2005 11:25:55 +0000 (11:25 +0000)
includes/EditPage.php

index 75b335d..3adc22b 100644 (file)
@@ -447,6 +447,7 @@ class EditPage {
                        }
                        else {
                                $wgOut->readOnlyPage();
+                               wfProfileOut( "$fname-checks" );
                                wfProfileOut( $fname );
                                return false;
                        }