MediaWiki 1.30.2

[autoinstallsdev/mediawiki.git] / maintenance / dtrace / tree.d

diff --git a/maintenance/dtrace/tree.d b/maintenance/dtrace/tree.d
deleted file mode 100644 (file)
index a799cb1..0000000
--- 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);
-}