Revert r74273 per CR: this patch is not needed because our SQL conversion magic handl...

diff --git a/maintenance/sqlite/archives/patch-profiling.sql b/maintenance/sqlite/archives/patch-profiling.sql
deleted file mode 100644 (file)
index a711dd7..0000000
--- a/maintenance/sqlite/archives/patch-profiling.sql
+++ /dev/null
@@ -1,11 +0,0 @@
--- profiling table for SQLite
--- This is optional
-
-CREATE TABLE /*$wgDBprefix*/profiling (
-  pf_count int NOT NULL default 0,
-  pf_time float NOT NULL default 0,
-  pf_memory float NOT NULL default 0,
-  pf_name varchar(255) NOT NULL default '',
-  pf_server varchar(30) NOT NULL default '',
-  PRIMARY KEY (pf_name, pf_server)
-);