Update to MediaWiki 1.19.0

1 files changed, 0 insertions, 26 deletions

diff --git a/maintenance/dtrace/tree.d b/maintenance/dtrace/tree.d
deleted file mode 100644
index a799cb12..00000000
--- a/maintenance/dtrace/tree.d
+++ /dev/null
@@ -1,26 +0,0 @@
-/*
- * This software is in the public domain.
- *
- * $Id$
- */
-
-#pragma D option quiet
-
-self int indent;
-self int times[int];
-
-php$target:::function-entry
-{
-	@counts[copyinstr(arg0)] = count();
-        printf("%*s", self->indent, "");
-        printf("-> %s\n", copyinstr(arg0));
-	self->times[self->indent] = timestamp;
-        self->indent += 2;
-}
-
-php$target:::function-return
-{
-        self->indent -= 2;
-        printf("%*s", self->indent, "");
-        printf("<- %s %dus\n", copyinstr(arg0), (timestamp - self->times[self->indent]) / 1000);
-}