[MediaWiki-commits] [Gerrit] Merge branch 'master' into 'devel' - change (mediawiki...HidePrefix[devel])
Van de Bugger has uploaded a new change for review. Change subject: Merge branch 'master' into 'devel' .. Merge branch 'master' into 'devel' Accidentally, the previous fix was committed to master branch instead of devel, so master is newer than devel. This commit fixes the problem. Change-Id: Ia4dc0c74b62ebad7e43cd9bc8392ad954df03ee3 --- M HidePrefix.php 1 file changed, 6 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/HidePrefix refs/changes/78/24378/1 -- To view, visit https://gerrit.wikimedia.org/r/24378 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ia4dc0c74b62ebad7e43cd9bc8392ad954df03ee3 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/HidePrefix Gerrit-Branch: devel Gerrit-Owner: Van de Bugger van.de.bug...@gmail.com ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] Merge branch 'master' into 'devel' - change (mediawiki...HidePrefix[devel])
Van de Bugger has submitted this change and it was merged. Change subject: Merge branch 'master' into 'devel' .. Merge branch 'master' into 'devel' Accidentally, the previous fix was committed to master branch instead of devel, so master is newer than devel. This commit fixes the problem. Change-Id: Ia4dc0c74b62ebad7e43cd9bc8392ad954df03ee3 --- M HidePrefix.php 1 file changed, 6 insertions(+), 2 deletions(-) Approvals: Van de Bugger: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/24378 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia4dc0c74b62ebad7e43cd9bc8392ad954df03ee3 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/HidePrefix Gerrit-Branch: devel Gerrit-Owner: Van de Bugger van.de.bug...@gmail.com Gerrit-Reviewer: Van de Bugger van.de.bug...@gmail.com ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits