From 4002c79b127b6b66031ebe4eb94fe2581dfda7d1 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Sat, 17 Feb 2018 10:25:47 +0100
Subject: cleanup

---
 REFLECTION-PHP7 | 50 --------------------------------------------------
 1 file changed, 50 deletions(-)
 delete mode 100644 REFLECTION-PHP7

(limited to 'REFLECTION-PHP7')

diff --git a/REFLECTION-PHP7 b/REFLECTION-PHP7
deleted file mode 100644
index feef5ff..0000000
--- a/REFLECTION-PHP7
+++ /dev/null
@@ -1,50 +0,0 @@
-Extension [ <persistent> extension #107 memprof version 2.0.0 ] {
-
-  - Functions {
-    Function [ <internal:memprof> function memprof_enabled ] {
-
-      - Parameters [0] {
-      }
-    }
-    Function [ <internal:memprof> function memprof_enable ] {
-
-      - Parameters [0] {
-      }
-    }
-    Function [ <internal:memprof> function memprof_disable ] {
-
-      - Parameters [0] {
-      }
-    }
-    Function [ <internal:memprof> function memprof_dump_array ] {
-
-      - Parameters [0] {
-      }
-    }
-    Function [ <internal:memprof> function memprof_dump_callgrind ] {
-
-      - Parameters [1] {
-        Parameter #0 [ <required> $handle ]
-      }
-    }
-    Function [ <internal:memprof> function memprof_dump_pprof ] {
-
-      - Parameters [1] {
-        Parameter #0 [ <required> $handle ]
-      }
-    }
-    Function [ <internal:memprof> function memory_get_peak_usage ] {
-
-      - Parameters [1] {
-        Parameter #0 [ <optional> $real ]
-      }
-    }
-    Function [ <internal:memprof> function memory_get_usage ] {
-
-      - Parameters [1] {
-        Parameter #0 [ <optional> $real ]
-      }
-    }
-  }
-}
-
-- 
cgit