Update to MediaWiki 1.19.0

2 files changed, 0 insertions, 49 deletions

diff --git a/maintenance/dtrace/counts.d b/maintenance/dtrace/counts.d
deleted file mode 100644
index bedb4547..00000000
--- a/maintenance/dtrace/counts.d
+++ /dev/null
@@ -1,23 +0,0 @@
-/*
- * This software is in the public domain.
- *
- * $Id$
- */
-
-#pragma D option quiet
-
-self int tottime;
-BEGIN {
-	tottime = timestamp;
-}
-
-php$target:::function-entry
-	@counts[copyinstr(arg0)] = count();
-}
-
-END {
-	printf("Total time: %dus\n", (timestamp - tottime) / 1000);
-	printf("# calls by function:\n");
-	printa("%-40s %@d\n", @counts);
-}
-
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);
-}