From d5bfa3bff2be3b29abb02d9619aa8e3cbd2954ac Mon Sep 17 00:00:00 2001 From: Reedy Date: Wed, 16 May 2012 01:46:48 +0100 Subject: [PATCH] Added RandomRootPage extension ( bug 16655 ) Change-Id: Ib81dd7aa301680272e3e51c5709d04c4265a4371 --- .gitmodules | 3 +++ extensions/RandomRootPage | 1 + 2 files changed, 4 insertions(+) create mode 100644 .gitmodules create mode 160000 extensions/RandomRootPage diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000000..565eb799f2 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "extensions/RandomRootPage"] + path = extensions/RandomRootPage + url = ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/RandomRootPage.git diff --git a/extensions/RandomRootPage b/extensions/RandomRootPage new file mode 160000 index 0000000000..75dd73c885 --- /dev/null +++ b/extensions/RandomRootPage @@ -0,0 +1 @@ +Subproject commit 75dd73c8853c9be47d8cc161b65fa0534eaa9c52 -- 2.20.1