[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Add option to hide missing pages while searching

2017-10-17 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/383174 ) Change subject: Add option to hide missing pages while searching .. Add option to hide missing pages while searching Bug:

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Add option to hide missing pages while searching

2017-10-10 Thread Petar.petkovic (Code Review)
Petar.petkovic has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/383413 ) Change subject: Add option to hide missing pages while searching .. Add option to hide missing pages while searching Bug: T177469

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Add option to hide missing pages while searching

2017-10-09 Thread Petar.petkovic (Code Review)
Petar.petkovic has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/383174 ) Change subject: Add option to hide missing pages while searching .. Add option to hide missing pages while searching Bug: T177469