diff options
| author | Amir Sarabadani <Ladsgroup@gmail.com> | 2021-03-02 22:15:14 +0100 |
|---|---|---|
| committer | Amir Sarabadani <Ladsgroup@gmail.com> | 2021-03-02 22:15:14 +0100 |
| commit | 07b05d3db9b03243d6f27be57acf350c96fbc7fd (patch) | |
| tree | 0c4b449c7ca6f4498f3a7d8dcd9e88a3997aa011 /maintenance/archives/patch-userlevels.sql | |
| parent | 7568a15736b86807a3853c50f136bdc4973fb332 (diff) | |
| download | mediawikicore-07b05d3db9b03243d6f27be57acf350c96fbc7fd.tar.gz mediawikicore-07b05d3db9b03243d6f27be57acf350c96fbc7fd.zip | |
Drop unused patch-userlevels.sql patch
This patch was marked as obsolete and removed from updater in r9367
(2005) and any mention of it was removed from documentation in r69187
(2010). Since then, you can't find any mention of this file.
Change-Id: I3a45f4661434737fa977c721ba6cf74864984d6a
Diffstat (limited to 'maintenance/archives/patch-userlevels.sql')
| -rw-r--r-- | maintenance/archives/patch-userlevels.sql | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/maintenance/archives/patch-userlevels.sql b/maintenance/archives/patch-userlevels.sql deleted file mode 100644 index 399d6cb282a3..000000000000 --- a/maintenance/archives/patch-userlevels.sql +++ /dev/null @@ -1,8 +0,0 @@ - --- Relation table between user and groups -CREATE TABLE /*$wgDBprefix*/user_groups ( - ug_user int unsigned NOT NULL default '0', - ug_group varbinary(16) NOT NULL default '0', - PRIMARY KEY (ug_user,ug_group) - KEY (ug_group) -) /*$wgDBTableOptions*/; |