dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8369682) | patch
Some fixes to page updater docs
authorTim Starling <tstarling@wikimedia.org>
Thu, 11 Jul 2019 05:59:56 +0000 (15:59 +1000)
committerTim Starling <tstarling@wikimedia.org>
Thu, 11 Jul 2019 05:59:56 +0000 (15:59 +1000)
commitdda7a2c3ed148e7294dd622cec71498b3a44a08d
tree4c8d21c5202b2ea27ea407531fe2501e6e657427tree | snapshot
parent83696828b246eca32ce14ef8efadca1eaf3bf584commit | diff
Some fixes to page updater docs

A couple of typos, and also remove a thing that says isDeleted() should
be skipped for the current revision -- isDeleted() does not do a DB
query so there's no performance rationale for spreading assumptions and
increasing complexity in that way.

Change-Id: I661a6889618f188a9aa72f2f9a2c2ebf69ba09c4
docs/pageupdater.txt diff | blob | history
includes/Storage/DerivedPageDataUpdater.php diff | blob | history
Wiklou, le Wiki du Wiklou