#571 Force retrieval of last edit time

[Andrei Cipu]

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.

[Andrei Cipu]

forceEditTime.patch

[Andrei Cipu]

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