Compteur d'enregistrements de contributions RosettaCode

Compte les éléments li spécifiques dans section.mw-pager-body

Vous devrez installer une extension telle que Tampermonkey, Greasemonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Violentmonkey pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey ou Userscripts pour installer ce script.

Vous devrez installer une extension telle que Tampermonkey pour installer ce script.

Vous devrez installer une extension de gestionnaire de script utilisateur pour installer ce script.

(J'ai déjà un gestionnaire de scripts utilisateur, laissez-moi l'installer !)

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension telle que Stylus pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

Vous devrez installer une extension du gestionnaire de style pour utilisateur pour installer ce style.

(J'ai déjà un gestionnaire de style utilisateur, laissez-moi l'installer!)

Auteur
138 Aspen
Installations quotidiennes
0
Installations (total)
2
Notes
0 0 0
Version
1.0.2.2
Créé
12/02/2024
Mis à jour
01/06/2025
Taille
8,71 ko
Licence
MIT
S'applique à

RosettaCode Conribution Records Counter


           

               

Off-topic

Recently(2025-06-02), rosettacode has updated its domain name to rosettacode.miraheze.org

Edit, rosettacode.org domain is back, 2025-06-03.

As far as I know, Extension Proxy Omega can not resolve url redirecting issue.

   

To redirect all URLs from rosettacode.org to rosettacode.miraheze.org in Chrome, you can use a Chrome extension since Chrome doesn’t have built-in redirection features. Here’s how to do it:

Method: Use a Chrome Extension (e.g., Redirector)

  1. Set Up the Redirect Rule:

    • After installation, click the extension icon in Chrome’s toolbar and select “Redirector” or go to its settings via the Extensions menu.
    • In the Redirector interface, click “Create new redirect” or a similar option.
    • Configure the rule as follows:
      • Description: Name it, e.g., “RosettaCode Redirect.”
      • Example URL: Enter a sample URL, like http://rosettacode.org/wiki/Example.
      • Include pattern: Use a regular expression to match all rosettacode.org URLs, e.g.: ^(http|https)://rosettacode\.org/(.*)$ This matches http:// or https:// URLs starting with rosettacode.org and any path.
      • Redirect to: Enter the target URL pattern, e.g.: $1://rosettacode.miraheze.org/$2 Here, $1 keeps the protocol (http or https), and $2 keeps the original path.
      • Pattern type: Select “Regular Expression.”
      • Apply to: Check “Main window” and any other relevant options.
  2. Save and Test:

    • Save the rule, then visit a rosettacode.org URL (e.g., http://rosettacode.org/wiki/Example).
    • Chrome should redirect to rosettacode.miraheze.org/wiki/Example.
    • If it doesn’t work, double-check the regular expression or ensure the extension is enabled.

You can just use Tampermonkey script to do the same thing

// ==UserScript==
// @name              Rosetta Code Redirect
// @description       Auto redirect rosettacode.org to rosettacode.miraheze.org
// @author            aspen138
// @license           MIT
// @match             https://rosettacode.org/*
// @match             http://rosettacode.org/*
// @exclude-match     https://rosettacode.miraheze.org/*
// @exclude-match     http://rosettacode.miraheze.org/*
// @grant             none
// @run-at            document-start
// @icon              https://rosettacode.miraheze.org/favicon.ico
// ==/UserScript==

(() => {
    const currentUrl = window.location.href;

    // Defend in depth - don't redirect if already on miraheze
    if (currentUrl.includes('rosettacode.miraheze.org')) {
        return;
    }

    // Create the new URL by replacing the domain
    const newUrl = currentUrl.replace(
        /^(https?:\/\/)rosettacode\.org(\/.*)?$/,
        '$1rosettacode.miraheze.org$2'
    );

    // Redirect to the new URL
    if (newUrl !== currentUrl) {
        window.location.replace(newUrl);
    }
})();