dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5355182) | patch
resourceloader: Remove unused 'skipped' property from registry
authorTimo Tijhof <krinklemail@gmail.com>
Mon, 8 Apr 2019 00:20:06 +0000 (01:20 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Mon, 8 Apr 2019 00:57:10 +0000 (01:57 +0100)
commit2096cbdb47dd511f10bdbd8358e6721d38f7dfba
tree2c784e892252d522f116f7dd812bb9f9686c0b89tree | snapshot
parent535518220ad685c262332caa8ea94d0b6a6fe3a4commit | diff
resourceloader: Remove unused 'skipped' property from registry

This was added for debugging purposes, but I've never needed it
so far. It also makes the shape of objects in the registry
inconsistent, which can be a de-opt.

Keep it for now, but with a more minimal impact by storing it
in the same property.

Change-Id: I297e3adb4765b83b1e7356b81cd056f99b3de93d
resources/src/startup/mediawiki.js diff | blob | history
Wiklou, le Wiki du Wiklou