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. --