HomePhabricator

Updated mediawiki/extensions Project: mediawiki/extensions/DeleteBatch…

Authored by leucosticte.

Description

Updated mediawiki/extensions Project: mediawiki/extensions/DeleteBatch 810de5aa08686f016fa04acb432c7af1ff15aa7e null Also delete file versions, not only description pages

*Add message for when only a file, but not a description page, is
deleted
*Correct misspelled key nonexistant->nonexistent

Change-Id: I146e64210f9fb7958bff1bfe5318658ed0c74a97

Details

Committed
Gerrit Code ReviewOct 17 2012, 10:50 PM
Parents
rMEXTd7b133c0e712: Updated mediawiki/extensions Project: mediawiki/extensions/Parsoid…
Branches
Unknown
Tags
Unknown
ChangeId
I146e64210f9fb7958bff1bfe5318658ed0c74a97