2013/10/18 Antoine Musso hashar+wmf@free.fr:
Hello,
Too long, dont want to read: https://integration.wikimedia.org/cover/mediawiki-core/master/php/
This is very cool, apart from the numbers of course.
Is it hard to setup for extensions as well? Lots of development happens in extensions nowdays. I read from the linked bug that it is currently not possible due to bug in PHP.
-Niklas