SSH가없는 mediawiki userOptions 스크립트를 실행하십시오.

Question

MediaWiki 용 userOptions 스크립트를 실행하여 모든 기존 사용자의 기본 검색 네임 스페이스에 새 네임 스페이스를 추가하려고합니다. 불행히도, 나는 호스팅 제공 업체에 대한 셸 액세스 권한이 없으며 솔직히 cron 작업을 사용하는 데 정말로 집이 없다. 내 미디어 위키에서이 스크립트를 실행하는 가장 쉬운 방법은 무엇

설치 : http://www.mediawiki.org/wiki/Manual : $ wgNamespacesToBeSearchedDefault # Changing_options_for_existing_users

예를 들어

, PHP는 명령이 (죄송합니다, URL을 제대로 분석하지 않습니다) 그럴 수있어?

Answer 1

고객님의 PHP 스크립트를 만드십시오. 그것에서 $ argv와 $ argc 변수를 채운 다음, userOptions.php 파일을 자신의 PHP 파일에 포함 시키십시오.