[MediaWiki-commits] [Gerrit] Fixed fatal error when getLocalCopy() fails - change (mediawiki/core)

2014-01-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Fixed fatal error when getLocalCopy() fails .. Fixed fatal error when getLocalCopy() fails bug: 40166 Change-Id: Ibfcddc1a9c05fad4ac0b51a5a046d1ffaeb49db8

[MediaWiki-commits] [Gerrit] Fixed fatal error when getLocalCopy() fails - change (mediawiki/core)

2013-12-01 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Fixed fatal error when getLocalCopy() fails .. Fixed fatal error when getLocalCopy() fails bug: 40166 Change-Id: Ibfcddc1a9c05fad4ac0b51a5a046d1ffaeb49db8

[MediaWiki-commits] [Gerrit] Fixed fatal error when getLocalCopy() fails - change (mediawiki/core)

2013-11-20 Thread Aaron Schulz (Code Review)
Aaron Schulz has uploaded a new change for review. https://gerrit.wikimedia.org/r/96640 Change subject: Fixed fatal error when getLocalCopy() fails .. Fixed fatal error when getLocalCopy() fails bug: 40166 Change-Id: Ibfcddc