https://bugzilla.wikimedia.org/show_bug.cgi?id=39655
--- Comment #6 from Brad Jorsch <[email protected]> --- (In reply to comment #5) > > This was merged today, and will be deployed next week. Well, it will start being deployed next week. But it will take two weeks for it to be deployed everywhere. (In reply to comment #5) > (In reply to comment #4) > > I don't know what's involved in adding and correctly updating version > > numbers > > for an extension, so I didn't do anything about that. > > Brad: Is > http://www.mediawiki.org/wiki/Manual: > Developing_extensions#Registering_features_with_MediaWiki > sufficient or does that documentation needs to be extended? It's more of a process issue: When should the extension's version number get updated? And how do we deal with the fact that we're probably going to forget to do so most of the time? Look at the version number embedded in the LuaSandbox PHP extension: it was still at "0.1", until in Gerrit change 54867 I made the build process pull the version from debian/changelog (which has to be updated each time a new version is deployed). But I know of nothing so simple that can be done with a MediaWiki extension. -- You are receiving this mail because: You are the assignee for the bug. You are watching all bug changes. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
