From 268fa2077619eec8cde2c3beedf0e2ec941c0df7 Mon Sep 17 00:00:00 2001 From: Reedy Date: Wed, 16 May 2012 00:50:07 +0000 Subject: [PATCH] Revert "Added RandomRootPage extension ( bug 16655 )" This reverts commit d5bfa3bff2be3b29abb02d9619aa8e3cbd2954ac --- .gitmodules | 3 --- extensions/RandomRootPage | 1 - 2 files changed, 4 deletions(-) delete mode 100644 .gitmodules delete mode 160000 extensions/RandomRootPage diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 565eb799f2..0000000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "extensions/RandomRootPage"] - path = extensions/RandomRootPage - url = ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/RandomRootPage.git diff --git a/extensions/RandomRootPage b/extensions/RandomRootPage deleted file mode 160000 index 75dd73c885..0000000000 --- a/extensions/RandomRootPage +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 75dd73c8853c9be47d8cc161b65fa0534eaa9c52 -- 2.20.1