pagestostrip, $form->version, $err); print_table($strip_table); ?>
data)) { print get_string("nothingtostrip","wiki")."

"; } // (Shirai206): Wikiのページのストリップの選択画面に”すべてを選択する”と”すべての選択を解除する”の二つのボタンを追加する改良 (2010/12/15) // (Shirai206): ここから追加 else { echo '

'; echo ''; echo '  '; echo ''; echo '

'; } // (Shirai206): ここまで追加 ?> " />