DeepSea is quite an old skin and from what I know I think (I'm not entirely sure) a good amount of users still use DeepSea as the default skin on Brickimedia. This is a pretty easy task and would help to keep it at least a bit up to date with current times.
Description
Description
Details
Details
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| Remove Customs, Ideas, and Meta links from DeepSea left-side header | mediawiki/skins/DeepSea | master | +0 -12 |
| Status | Subtype | Assigned | Task | ||
|---|---|---|---|---|---|
| Resolved | SamanthaNguyen | T141318 Close Customs, Ideas, and Meta wikis on the Brickimedia Farm | |||
| Resolved | ashley | T143377 Remove Customs, Ideas, and Meta links from DeepSea left-side header |
Event Timeline
Comment Actions
MariaDB [shared]> SELECT COUNT(*) FROM user_properties WHERE up_property='skin' AND up_value='deepsea'; +----------+ | COUNT(*) | +----------+ | 23 | +----------+ 1 row in set (0.04 sec) MariaDB [shared]> SELECT COUNT(*) FROM global_preferences WHERE gp_property='skin' AND gp_value='deepsea'; +----------+ | COUNT(*) | +----------+ | 1 | +----------+ 1 row in set (0.02 sec)
24 unique users in total. Is DeepSea even maintained? I've been under the assumption that it really isn't...
Comment Actions
That's more than I expected! I'll be more than glad to help become the maintainer, I'd say 24 is quite a bit considering how many users there are on Brickimedia.
Comment Actions
@ashley For the offending line: https://github.com/Brickimedia/DeepSea/blob/master/DeepSea.skin.php#L478
Comment Actions
Change 311620 had a related patch set uploaded (by Jack Phoenix):
Remove Customs, Ideas, and Meta links from DeepSea left-side header
Comment Actions
Change 311620 merged by Jack Phoenix:
Remove Customs, Ideas, and Meta links from DeepSea left-side header