Exécution du script mediawiki userOptions sans SSH

Question

J'essaie d'exécuter le script userOptions pour MediaWiki afin d'ajouter un nouvel espace de noms aux espaces de noms de recherche par défaut pour tous les utilisateurs existants. Malheureusement, je n'ai pas d'accès shell à mon hébergeur, et pour être honnête, je ne suis vraiment pas à la maison pour utiliser les jobs cron.

Quelle est la meilleure façon pour moi de lancer ce script sur mes MediaWiki installer: http://www.mediawiki.org/wiki/Manual: $ wgNamespacesToBeSearchedDefault # Changing_options_for_existing_users (désolé, l'url ne sera pas analyser correctement)

Par exemple, est-il une commande php ça peut faire ça?

Answer 1

Créez votre propre script PHP. Dans celui-ci, remplissez les variables $ argv et $ argc, puis ajoutez simplement le fichier userOptions.php dans votre propre fichier PHP.