[16:47:12] <ugochimobi>	 CosmicAlpha: can you restore the file I deleted here ? https://github.com/miraheze/mw-config/pull/5053
[16:47:14] <MirahezeBot>	 [url] T10231: Add wgModerationOnlyInNamespaces and wgModerationIgnoredInNamespaces to ManageWikiSettings.php by ugochimobi · Pull Request #5053 · miraheze/mw-config · GitHub | github.com
[16:47:25] <ugochimobi>	 or should I just create a new PR?