Updated mediawiki/extensions
Project: mediawiki/extensions/OpenStackManager  ddd5bf28386f91cfaf16356e153cf79c90b1c1dd

Use jquery.chosen for the project filter

A giant array of hidden checkboxes hidden by default isn't a great
way to display the project filter. Using chosen we can always show
the filter and the list will be searchable as users type.

Change-Id: If0bcf013e20079b2bd2d3aba626997829b1d3ee6
Updated mediawiki/extensions
Project: mediawiki/extensions/SemanticMediaWiki  d2ceb456dbc1d96e9270af4fac53df5eb327ee99

Move Query related files into /query/ subdirectory

Files that are query related and store independent have been
moved into /query/

Change-Id: Id2d698542c10ce74bfce4d5b6a5c312c03d17ec9