joomla/joomla-cms — pull request #4757 by madasha (2014-10-17 11:01:38+00:00)
Title: Pipe ('|') as OR in search filter in Extension Manager::Manage (Issue 4494)

Adding option to use pipe ('|') as OR in search filter in Extension Manager: Manage