Cette page s'adresse à ceux qui voudraient utiliser mon extension avec des scripts complètement personnalisés, il est possible de remplacer mes scripts par d'autres.
Les scripts de l'extension sont chargés par le moteur de l'extension lui même, ils donnent donc accès à tout le navigateur. L'extension elle même ne comprend d'ailleurs pas les scripts, elle ne fait que charger des scripts.
Pour faciliter le choix des pages sur lesquels les scripts s'exécutent, j'ai recréé l'arborescence du site dans mes scripts. Un script exécuté sur la page du profil aura donc comme adresse "http://votre_domaine/url_des_scripts/scripts/profil.js". A ça s'ajoute un script nommé "default.js" placé dans le dossier racine des scripts qui est exécuté sur chaque page du jeu. Si l'URL donnée dans les options est "http://votre_domaine/url_des_scripts/" l'extension cherchera les scripts dans "http://votre_domaine/url_des_scripts/scripts/" et les scripts en développement dans "http://votre_domaine/url_des_scripts/scripts-dev/"
Vu qu'il n'y a pas de tests d'existence sur les scripts (ça viendra peut être) il est fortement conseillé de créer le fichier "default.js" même s'il est vide, sinon il y a de grandes chances qu'une page d'erreur 404 (page introuvable) soit donnée dans une balise de script et ça ne fonctionne évidemment pas, et dans le pire des cas l'extension attend une réponse du serveur, ce qui bloque le navigateur (bug à corriger) pendant quelques secondes.
Il est aussi possible d'utiliser des scripts stockés en local, l'URL est alors de la forme "file://chemin_des_scripts" (par exemple "file:///E:/Scripts/")
Quelques variables et fonctions sont définies par le moteur de l'extension et sont utilisables dans les scripts.
Les variables utilisables
- mp_page : La page sur laquelle sera exécuté le script (à utiliser comme le "document" de Javascript)
- mp_URLscripts : URL des scripts donné dans les options de l'extension
- mp_URLpersoScripts : URL des scripts perso donné dans les options de l'extension
- mp_scriptsFolder : Dossier dans lequel sont les scripts (concaténé à la suite de l'URL des scripts)
- mp_LPURL : URL du jeu
- mp_URLWiki : URL du wiki (utilisé dans la page profil par exemple)
- mp_prefs : Préférences de l'extension (on peut donc lire et modifier des valeurs en appelant les méthodes getCharPref/setCharPref/getBoolPref/setBoolPref)
Les fonctions utilisables
- mp_add_js_code(page,id,url) : ajoute du code Javascript dans une page à partir d'une URL
- mp_log(text) : ajoute du texte dans la fenêtre de log de l'extension
Les sources de mes scripts sont visibles ici et les scripts sont téléchargeables dans un zip ici.