Wiki upgraded to MediaWiki 1.23 + GoogleSearch extension
No major visual changes between the previous version 1.22 and this one. I didn’t had to touch anything on my JS, CSS or configuration! Great!
I encountered an issue with my GoogleSearch extension and made the changes to make it work again. So a new version (0.5) of the extension is out and compatible with Mediawiki 1.23.