From c88f5e1a0227b34bbbf3923640e18cb632be4e85 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Robert=20Hus=C3=A1k?= Date: Fri, 30 Mar 2018 16:51:29 +0200 Subject: [PATCH] Move MediaWiki files to submodules --- .gitmodules | 4 ++++ mediawiki | 1 + mediawiki.msbuildproj | 23 ----------------------- web.config | 32 -------------------------------- 4 files changed, 5 insertions(+), 55 deletions(-) create mode 100644 .gitmodules create mode 160000 mediawiki delete mode 100644 mediawiki.msbuildproj delete mode 100644 web.config diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..a918df3 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,4 @@ +[submodule "mediawiki"] + path = mediawiki + url = https://github.com/iolevel/mediawiki.git + branch = master diff --git a/mediawiki b/mediawiki new file mode 160000 index 0000000..9eb914a --- /dev/null +++ b/mediawiki @@ -0,0 +1 @@ +Subproject commit 9eb914adac5cccd35ec4bba120d820be20df0c62 diff --git a/mediawiki.msbuildproj b/mediawiki.msbuildproj deleted file mode 100644 index e6f7cc5..0000000 --- a/mediawiki.msbuildproj +++ /dev/null @@ -1,23 +0,0 @@ - - - - Library - net46 - mediawiki - PHPX0125,PHP3012 - Bin - - - - - - - - - - - - - \ No newline at end of file diff --git a/web.config b/web.config deleted file mode 100644 index f07388e..0000000 --- a/web.config +++ /dev/null @@ -1,32 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -