[MediaWiki-commits] [Gerrit] Remove no longer needed backports - change (search/highlighter)

2015-07-20 Thread DCausse (Code Review)
DCausse has submitted this change and it was merged. Change subject: Remove no longer needed backports .. Remove no longer needed backports Change-Id: Ib1115b82dd0de524dfadae5c8736aa35af46d9b3 --- M experimental-highlighter-el

[MediaWiki-commits] [Gerrit] Remove no longer needed backports - change (search/highlighter)

2015-07-17 Thread Manybubbles (Code Review)
Manybubbles has uploaded a new change for review. https://gerrit.wikimedia.org/r/225358 Change subject: Remove no longer needed backports .. Remove no longer needed backports Change-Id: Ib1115b82dd0de524dfadae5c8736aa35af46d9