From 02f75b043b7551b9a4cb33eefa5f4534173c2065 Mon Sep 17 00:00:00 2001
From: Reception123 <utilizator.receptie123@gmail.com>
Date: Sun, 8 Dec 2024 09:23:05 +0100
Subject: [PATCH] add RobloxAPI to MWE per T12951 (#5762)

Co-authored-by: github-actions <github-actions@users.noreply.github.com>
---
 LocalWiki.php            | 6 +++---
 ManageWikiExtensions.php | 7 +++++++
 2 files changed, 10 insertions(+), 3 deletions(-)

diff --git a/LocalWiki.php b/LocalWiki.php
index 6566d1ea99..6fa17af195 100644
--- a/LocalWiki.php
+++ b/LocalWiki.php
@@ -193,10 +193,10 @@ function onBeforePageDisplay( OutputPage $outputPage ) {
 
 		break;
 	case 'gui7814sgtafanonwiki':
-	    $wgDplSettings['maxCategoryCount'] = 1000;
-	    $wgDplSettings['maxResultCount'] = 1000;
+		$wgDplSettings['maxCategoryCount'] = 1000;
+		$wgDplSettings['maxResultCount'] = 1000;
 
-	    break;
+		break;
 	case 'hommwiki':
 		// T12565: This is a workaround for an upstream bug, please remove when the bug fix is merged
 		$wgEnabledAudioTranscodeSet = [];
diff --git a/ManageWikiExtensions.php b/ManageWikiExtensions.php
index 9e783b1f67..c5768f6b45 100644
--- a/ManageWikiExtensions.php
+++ b/ManageWikiExtensions.php
@@ -874,6 +874,13 @@
 		'requires' => [],
 		'section' => 'parserhooks',
 	],
+	'robloxapi' => [
+		'name' => 'RobloxAPI',
+		'linkPage' => 'https://www.mediawiki.org/wiki/Extension:RobloxAPI',
+		'conflicts' => false,
+		'requires' => [],
+		'section' => 'parserhooks',
+	],
 	'rss' => [
 		'name' => 'RSS feed',
 		'linkPage' => 'https://www.mediawiki.org/wiki/Special:MyLanguage/Extension:RSS',