jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/364830 )
Change subject: DeleteAction: Remove now-unnecessary RL modules
......................................................................
DeleteAction: Remove now-unnecessary RL modules
After 97a8fb78faa4ca2d9604140e5547f5deae5a2524 these are never used.
Change-Id: Ibb4ee45ad991651afab0f0363056d3066e740b24
---
M includes/actions/DeleteAction.php
1 file changed, 0 insertions(+), 8 deletions(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/actions/DeleteAction.php
b/includes/actions/DeleteAction.php
index bb2775f..6bed59a 100644
--- a/includes/actions/DeleteAction.php
+++ b/includes/actions/DeleteAction.php
@@ -42,14 +42,6 @@
public function show() {
$this->useTransactionalTimeLimit();
-
- $out = $this->getOutput();
- if ( $this->getContext()->getConfig()->get(
'UseMediaWikiUIEverywhere' ) ) {
- $out->addModuleStyles( [
- 'mediawiki.ui.input',
- 'mediawiki.ui.checkbox',
- ] );
- }
$this->addHelpLink( 'Help:Sysop deleting and undeleting' );
$this->page->delete();
}
--
To view, visit https://gerrit.wikimedia.org/r/364830
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibb4ee45ad991651afab0f0363056d3066e740b24
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
