[17:19:13] BCEL [17:19:18] tikmobile5754789@gmail.com [17:19:22] tikmobile5754789@gmail.com [17:19:25] tikmobile5754789@gmail.comtikmobile5754789@gmail.com [17:50:32] When a user creates an account or changes their skin to the current default, the up_property field of user_properties will not add a "skin" right? [17:50:47] (And will also just drop that row if it exists?) [18:07:06] Okay, I think I figured that out anyway. Now how would I go about changing everyone using the current default to a specific skin after switching defaults? I tried using the userOptions.php script (php maintenance/run userOptions.php skin --old --old-is-default --new "monobook") and it did nothing. [18:08:30] Also tried running said script using the new default skin's name. Still did not work.