Raimond Spekking has submitted this change and it was merged. Change subject: [SafeDelete] Register extension ......................................................................
[SafeDelete] Register extension Change-Id: Ie0fe0d6d25d1f9bf5e0257e26ab3afbd79eda927 --- M groups/MediaWiki/mediawiki-extensions.txt 1 file changed, 3 insertions(+), 0 deletions(-) Approvals: Raimond Spekking: Verified; Looks good to me, approved diff --git a/groups/MediaWiki/mediawiki-extensions.txt b/groups/MediaWiki/mediawiki-extensions.txt index 2aaac49..1c3ac72 100644 --- a/groups/MediaWiki/mediawiki-extensions.txt +++ b/groups/MediaWiki/mediawiki-extensions.txt @@ -1817,6 +1817,9 @@ Sacred Text +Safe Delete +aliasfile = SafeDelete/SafeDelete.alias.php + Sandbox Link ignored = sandboxlink-editintro-pagename, sandboxlink-preload-pagename -- To view, visit https://gerrit.wikimedia.org/r/206760 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie0fe0d6d25d1f9bf5e0257e26ab3afbd79eda927 Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Raimond Spekking <raimond.spekk...@gmail.com> Gerrit-Reviewer: Raimond Spekking <raimond.spekk...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits