[MediaWiki-commits] [Gerrit] Fix for https://gerrit.wikimedia.org/r/#/c/14180/ - change (operations/mediawiki-config[master])

2012-07-06 Thread Reedy (Code Review) 
Reedy has submitted this change and it was merged.

Change subject: Fix for https://gerrit.wikimedia.org/r/#/c/14180/
..


Fix for https://gerrit.wikimedia.org/r/#/c/14180/

I was not aware of the generic entry for wikiversity at the end of the section
therefore dewikiversity is missing the previous sources now.

Change-Id: I2a3d3300e44c0a2c1550eeacf5e855ce99376df3
---
M wmf-config/InitialiseSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Reedy: Verified; Looks good to me, approved
  jenkins-bot: Verified


--
To view, visit https://gerrit.wikimedia.org/r/14277
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I2a3d3300e44c0a2c1550eeacf5e855ce99376df3
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Raimond Spekking raimond.spekk...@gmail.com
Gerrit-Reviewer: Reedy re...@wikimedia.org
Gerrit-Reviewer: jenkins-bot

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] Fix for https://gerrit.wikimedia.org/r/#/c/14180/ - change (operations/mediawiki-config[master])

2012-07-05 Thread Raimond Spekking (Code Review) 
Raimond Spekking has uploaded a new change for review.

Change subject: Fix for https://gerrit.wikimedia.org/r/#/c/14180/
..

Fix for https://gerrit.wikimedia.org/r/#/c/14180/

I was not aware of the generic entry for wikiversity at the end of the section
therefore dewikiversity is missing the previous sources now.

Change-Id: I2a3d3300e44c0a2c1550eeacf5e855ce99376df3
---
M wmf-config/InitialiseSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/77/14277/1
--
To view, visit https://gerrit.wikimedia.org/r/14277
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I2a3d3300e44c0a2c1550eeacf5e855ce99376df3
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Raimond Spekking raimond.spekk...@gmail.com

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits