You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Nov 25, 2019. It is now read-only.
. . . because that would be silly, since you have it checked out already and can easily make a two-line change yourself? :-)
I'm not looking to become a regular contributor - I just needed this patch to support a site using MediaWiki 1.15.2, and wanted to pass it on in case it'd be useful to others.
The best way to pass it on is to make the change and share it the GitHub way. As simple as the change may be, now I need to locate exact place where it needs to be done and come up with the test data that triggers the problem - repeat the work that you have already done instead of just pulling (and reviewing the actual changeset along the way) - now that is rather silly, isn't it?
Seems like a sneaky way to get people to use GitHub! No thanks. I'll stick with my SVNs and tarballs. :-p It's not like I have the source checked out, anyway - I installed using pip and patched the file on the server when I found it didn't work.
In wiki.py the server name is extracted from JSON metadata:
However, in versions of MediaWiki prior to 1.16, the general metadata does not contain the name of the server as a variable. For example:
The lack of this variable causes failure of the script.
A more robust approach is to extract the server name from base if server is not available.
The text was updated successfully, but these errors were encountered: