Updated mediawiki/extensions
Project: mediawiki/extensions/MobileFrontend  0f1f3d796bc909cdb38f393ea7cebde94effa856

Change WikiGrok tags elements to buttons

- Chang WikiGrok tag elements from checkboxes to buttons
-- Progressive when selected
- Adjust space between tags
- Reduced spacing between labels
- Vertical alignment to top on first label for even padding inside tag
- Remove colons from property name
- Limit to 4 results

Change-Id: Ic5acf4e5cbe1acb136126cea0186625463fe00a8