wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-24 16:26:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
1159 commits 163 branches 6 tags 33 MiB
Commit graph

2 commits

Author SHA1 Message Date
Alex Monk ef7c4ce2be Don't try to load edit schema if it's not installed 
It would only be installed by the WikimediaEvents extension.

Change-Id: I0a1841ad7639765cedf6294d62104f9aedb36d83
 2015-03-12 16:49:50 +00:00
Alex Monk 74da530f2d Schema:Edit instrumentation 
Depends on Ib8612626

Bug: T88027
Change-Id: I67f1000d23cb257df29d5d4be8ae85764458e6c1
 2015-03-10 14:56:45 +01:00