Last modified: 2014-09-18 07:59:42 UTC
Originally from: http://sourceforge.net/p/pywikipediabot/patches/571/ Reported by: strainu Created on: 2012-10-27 15:35:07 Subject: Force retrieval of last edit time Original description: This patch changes the Page.editTime function in order to allow the user to request a valid editTime even if the page has not yet been fetched. The API call used is theoretically much lighter than retrieving the whole page. The default behavior remains unchanged.
forceEditTime.patch
As a performance optimization, line 1256 could read if force and not self.\_editTime: However, I wrote the patch without checking if the editTime has been fetched because "force" should imply that the value is updated
The patch you made can be added to both core (in page.py) and compat (wikipedia.py) even though the patch is made for compat. Sounds like a good idea
Hmm, I had forgot about this patch, despite the fact that I use it daily :) Do you want me to put the patch up for review?
Yes, that would be awesome :)