I know this is kind of repeating a existing question "Has there been an update to the project?" --- Well, that was answered in Feb. 2017, and the latest commit on the GitHub page shows as one month later in March 2017. A lot has happened in three years. My own experience thus far has been this: Ponydocs doesn't work with the latest version of Mediawiki (1.34.1 as of this writing) probably because: The Ponydocs installation instructions don't match up with changes made in the way Mediawiki registers extensions, which is now done by using wfLoadExtension function in the LocalSettings.php file. While Mediawiki works with PHP 7, Ponydocs doesn't remotely come close. Rules out my Ubuntu 18.04 server... Ponydocs probably works with Mediawiki 1.24, as recommended in the installation instructions, except that my Ubuntu 16.04 server is running PHP5.5, while Ponydocs recommends that PHP 5.2 or 5.3 is used, which have since reached end-of-life. So, to reiterate the question: Is anybody working on this? Are there any plans for upgrades to bring this into the modern era? It looks like a fantastic piece of software, and just the solution I'd like to implement, but it would be nice to know where things are headed. I suppose I could spin up a separate server to run much older software... Thanks, Mike ... View more