wikimedia/mediawiki-extensions-Popups
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups synced 2024-11-30 18:34:40 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Popups/resources
History
Baha 3ac3769aa7 Remove event logging duplication detection and logging 
We haven't seen the PP EventLogging instrumentation produce duplicate events
for weeks.

Bug: T172106
Change-Id: I6f3d7c0cdbf23161f63259e4d20d8a710376468b
2017-08-16 11:46:35 -04:00
..
dist Remove event logging duplication detection and logging 2017-08-16 11:46:35 -04:00
ext.popups Remove obsolete vendor prefixed properties and at-rules 2017-07-31 21:39:42 +02:00
ext.popups.images Optimise SVGs with svgo 2017-04-26 17:15:45 +01:00