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)
Contacts - Batch Options in consistent order (Fixes #5033)
Banners - Batch Options in consistent order (Fixes 5032)
Merge pull request #4757 from madasha/joomla3.3-extenstions-filter-4494

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