jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/404703 )
Change subject: Hygiene: Remove ExtMobileFrontend::eventLog
......................................................................
Hygiene: Remove ExtMobileFrontend::eventLog
Since I25f9e1ca, the method is no longer used.
Bug: T182235
Change-Id: I3a32d87b594ae53ee6d8ba47b6304764c74bcdc0
---
M includes/MobileFrontend.body.php
1 file changed, 0 insertions(+), 13 deletions(-)
Approvals:
jenkins-bot: Verified
Jdlrobson: Looks good to me, approved
diff --git a/includes/MobileFrontend.body.php b/includes/MobileFrontend.body.php
index 45f4196..444f589 100644
--- a/includes/MobileFrontend.body.php
+++ b/includes/MobileFrontend.body.php
@@ -9,19 +9,6 @@
*/
class ExtMobileFrontend {
/**
- * Uses EventLogging when available to record an event on server side
- *
- * @param string $schema The name of the schema
- * @param int $revision The revision of the schema
- * @param array $data The data to be recorded against the schema
- */
- public static function eventLog( $schema, $revision, $data ) {
- if ( is_callable( [ EventLogging::class, 'logEvent' ] ) ) {
- EventLogging::logEvent( $schema, $revision, $data );
- }
- }
-
- /**
* Transforms content to be mobile friendly version.
* Filters out various elements and runs the MobileFormatter.
* @param OutputPage $out
--
To view, visit https://gerrit.wikimedia.org/r/404703
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3a32d87b594ae53ee6d8ba47b6304764c74bcdc0
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Phuedx <samsm...@wikimedia.org>
Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: Pmiazga <pmia...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
