SamanthaNguyen has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/329365 )
Change subject: Remove unnecessary script.sh file
......................................................................
Remove unnecessary script.sh file
Change-Id: I00b88ead0b6df2452abcce951be3de757aab55fc
---
D script.sh
M skin.json
2 files changed, 1 insertion(+), 35 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/skins/Refreshed
refs/changes/65/329365/1
diff --git a/script.sh b/script.sh
deleted file mode 100755
index 492b228..0000000
--- a/script.sh
+++ /dev/null
@@ -1,34 +0,0 @@
-#! /bin/bash
-
-# TODO: Clean this up and make sure it works. This is really dirty right now.
-
-set -x
-
-originalDirectory=$(pwd)
-
-function installMediaWiki {
- cd ..
-
- wget https://github.com/wikimedia/mediawiki-core/archive/$MW.tar.gz
- tar -zxf $MW.tar.gz
- mv mediawiki-core-$MW mediawiki
-
- cd mediawiki
-
- mysql -e 'create database its_a_mw;'
- php maintenance/install.php --dbtype $DBTYPE --dbuser root --dbname
its_a_mw --dbpath $(pwd) --pass $DBPASS Refreshed admin
-}
-
-function installRefreshed {
-
- composer require 'phpunit/phpunit=3.7.*' --prefer-source
- composer require 'mediawiki/refreshed-skin=@dev' --prefer-source
-
- echo 'require_once( "$IP/skins/Refreshed/Refreshed.php" );' >>
LocalSettings.php
- echo '$wgDefaultSkin = "refreshed";' >> LocalSettings.php
-
- php maintenance/update.php --quick
-}
-
-installMediaWiki
-installRefreshed
diff --git a/skin.json b/skin.json
index 3bf1bdb..2647517 100644
--- a/skin.json
+++ b/skin.json
@@ -1,6 +1,6 @@
{
"name": "Refreshed",
- "version": "3.1.3",
+ "version": "3.1.4",
"author": [
"Adam Carter",
"Drew1200",
--
To view, visit https://gerrit.wikimedia.org/r/329365
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I00b88ead0b6df2452abcce951be3de757aab55fc
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/skins/Refreshed
Gerrit-Branch: master
Gerrit-Owner: SamanthaNguyen <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
