ChrisBlomTS added a comment.

  After some experimentation, i've come up with a possible fix:
  
  1. Make it possible to specify the mediawiki version in the family file
  2. If the mediawiki version is specified in the familiy file, use that 
version instead of getting it from the mediawiki server
  
  I've also noticed that `isPublic` in family files is no longer used. 
  I found some old documentation that suggest that overriding isPublic in the 
family file would have a similar effect, but this no longer works: isPublic is 
no longer used.
  
  I can prepare a pull request for this fix, please let me know if this 
approach is acceptable.
  
  I've also tried to delay the lookup of the version until after login, but 
unfortunately the version is also check whenever a request is submitted, so i 
think it is not feasible to fix it that way.

TASK DETAIL
  https://phabricator.wikimedia.org/T284577

EMAIL PREFERENCES
  https://phabricator.wikimedia.org/settings/panel/emailpreferences/

To: ChrisBlomTS
Cc: Mpaa, Dvorapa, pywikibot-bugs-list, RhinosF1, Urbanecm, Aklapper, 
ChrisBlomTS, Jyoo1011, JohnsonLee01, SHEKH, Dijkstra, Khutuck, Zkhalido, 
Viztor, Wenyi, Tbscho, MayS, Mdupont, JJMC89, Altostratus, Avicennasis, 
mys_721tx, jayvdb, Masti, Alchimista
_______________________________________________
pywikibot-bugs mailing list -- pywikibot-bugs@lists.wikimedia.org
To unsubscribe send an email to pywikibot-bugs-le...@lists.wikimedia.org

Reply via email to