Hey,
I added a request to migrate the extension to the list:
https://www.mediawiki.org/wiki/Git/Conversion/Extensions_queue#The_list
And I'll apply the patch once this is done if no one else applied it before
then :)
Cheers
--
Jeroen De Dauw
http://www.bn2vs.com
Don't panic. Don't be evil.
--