Revert "Added RandomRootPage extension ( bug 16655 )"
authorReedy <reedy@wikimedia.org>
Wed, 16 May 2012 00:50:07 +0000 (00:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 16 May 2012 00:50:07 +0000 (00:50 +0000)
This reverts commit d5bfa3bff2be3b29abb02d9619aa8e3cbd2954ac

.gitmodules [deleted file]
extensions/RandomRootPage [deleted submodule]

diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644 (file)
index 565eb79..0000000
+++ /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 (submodule)
index 75dd73c..0000000
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 75dd73c8853c9be47d8cc161b65fa0534eaa9c52