Adding option to use pipe ('|') as OR in search filter in Extension Manager: Manage
Extending pipe search/filter functionality to Modules, Plugins, and Templates as well
Fixing some phpDoc comment problems
Fixing some more phpDoc comment problems
Fixing some code style issues (new lines before foreach)
Fixing some code style issues (new lines before foreach)
Merge pull request #4757 from madasha/joomla3.3-extenstions-filter-4494

Pipe ('|') as OR in search filter in Extension Manager::Manage (Issue 4494)