Thread:Project:Support desk/Mantle returns error upgrading extension from 1.24 to 1.25 branch in Mediawiki 1.25.1 (2)/reply (2)

No, I get the same result. I don't believe I have ever modified anything in that extension's directory.