Merge branch 'develop' of https://github.com/PenguinMod/penguinmod.github.io into develop

Author: RedMan13

src/addons/addons/mediarecorder/userscript.js

@@ -10,8 +10,8 @@ export default async ({ addon, console, msg }) => {
   let recordBuffer = [];
   let recorder;
   let timeout;
-  // const isMp4CodecSupported = false;
-  const isMp4CodecSupported = MediaRecorder.isTypeSupported('video/webm;codecs=h264');
+  const isMp4CodecSupported = false;
+  // const isMp4CodecSupported = MediaRecorder.isTypeSupported('video/webm;codecs=h264');
   while (true) {
     const elem = await addon.tab.waitForElement('div[class*="menu-bar_file-group"] > div:last-child:not(.sa-record)', {
       markAsSeen: true,

src/playground/credits/users.js

@@ -146,7 +146,8 @@ const pmPullRequestDevelopers = [ // these people made a PR that got merged, or
     'concertalyis',
     'Steve0Greatness',
     'ilikecoding-197',
-    'NotEmbin'
+    'NotEmbin',
+    'NotCryptid' // rx or ry single fix
     // list could be missing some people, but theres not really a way to tell
 ].map(fromHardcodedGithub);