[MediaWiki-commits] [Gerrit] Add in check to see if stuff is already loaded for compat - change (mediawiki...Wikibase[master])
Jeroen De Dauw has uploaded a new change for review. Change subject: Add in check to see if stuff is already loaded for compat .. Add in check to see if stuff is already loaded for compat Change-Id: I125d27cd3653e80d335a34289d5b4243d1a11070 --- M lib/WikibaseLib.hooks.php M lib/WikibaseLib.php 2 files changed, 13 insertions(+), 4 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase refs/changes/45/14345/1 -- To view, visit https://gerrit.wikimedia.org/r/14345 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I125d27cd3653e80d335a34289d5b4243d1a11070 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw jeroended...@gmail.com ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Add in check to see if stuff is already loaded for compat - change (mediawiki...Wikibase[master])
Jeroen De Dauw has submitted this change and it was merged. Change subject: Add in check to see if stuff is already loaded for compat .. Add in check to see if stuff is already loaded for compat Change-Id: I125d27cd3653e80d335a34289d5b4243d1a11070 --- M lib/WikibaseLib.hooks.php M lib/WikibaseLib.php 2 files changed, 13 insertions(+), 4 deletions(-) Approvals: John Erling Blad: Verified; Looks good to me, approved Jeroen De Dauw: -- To view, visit https://gerrit.wikimedia.org/r/14345 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I125d27cd3653e80d335a34289d5b4243d1a11070 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Jeroen De Dauw jeroended...@gmail.com Gerrit-Reviewer: Jeroen De Dauw jeroended...@gmail.com Gerrit-Reviewer: John Erling Blad john.b...@wikimedia.de ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits