wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-28 18:21:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../includes
History
Roan Kattouw d700202f85 Update EventLogging code for Edit->EditAttemptStep schema migration 
The schema itself is being renamed, and many of the field names are
different.

Bug: T207803
Depends-On: I2949c9782669b75cf17978698c8cef21fdee6dea
Change-Id: I07d9bc1530005914043911b7906c1602522c9162
2018-10-29 11:38:07 -07:00
..
WikiEditorHooks.php Update EventLogging code for Edit->EditAttemptStep schema migration 2018-10-29 11:38:07 -07:00