mediawiki_dump_tools/Mediawiki-Utilities/mw/lib/reverts/defaults.py

   1 RADIUS = 15
   2 """
   3 TODO: Better documentation here.  For the time being, see:
   4
   5 Priedhorsky, R., Chen, J., Lam, S. T. K., Panciera, K., Terveen, L., &
   6 Riedl, J. (2007, November). Creating, destroying, and restoring value in
   7 Wikipedia. In Proceedings of the 2007 international ACM conference on
   8 Supporting group work (pp. 259-268). ACM.
   9 """
  10
  11
  12 class DUMMY_SHA1: pass
  13 """
  14 Used in when checking for reverts when the checksum of the revision of interest
  15 is unknown.
  16
  17 >>> DUMMY_SHA1 in {"aaa", "bbb"} # or any 40 character hex
  18 False
  19 >>>
  20 >>> DUMMY_SHA1 == DUMMY_SHA1
  21 True
  22 >>> {DUMMY_SHA1, DUMMY_SHA1}
  23 {<class '__main__.DUMMY_SHA1'>}
  24 """