編集フィルター設定

ナビゲーションに移動 検索に移動

版間での差分

項目2012年1月21日 (土) 02:36VZP10224 による版2020年3月7日 (土) 20:05Rxy による版
基本情報
メモ:
時系列に関するマジックワードを使用している場合に通知文を出して注意する
時系列に関するマジックワードを使用している場合に通知文を出して注意する




== 変更履歴 ==
== 変更履歴 ==
2011-05-11 初版
2011-05-11 初版
時系列に関するマジックワードを検知する。
時系列に関するマジックワードを検知する。


2011-05-13 説明を修正
2011-05-13 説明を修正


条件文を高速化 --青子守歌 2011-09-12
条件文を高速化 --青子守歌 2011-09-12


JST関連を追加  VZP10224 2012-01-21
JST関連を追加  VZP10224 2012-01-21
2020-03-07 20:05Z  s/article_namespace/page_namespace/ ; Replace deprecated var to current var --rxy
フィルター条件
条件:
/* botでなく */
/* botでなく */
!("bot" in user_groups)
!("bot" in user_groups)


&
&
/* 通常記事空間内で */
/* 通常記事空間内で */
article_namespace = 0
page_namespace = 0
&
&
/* 追加文に以下の時系列に関するマジックワードを含む場合*/
/* 追加文に以下の時系列に関するマジックワードを含む場合*/
contains_any(added_lines,
contains_any(added_lines,
   "{{CURRENTYEAR}}",
   "{{CURRENTYEAR}}",
   "{{CURRENTMONTH}}",
   "{{CURRENTMONTH}}",
   "{{CURRENTDAY}}",
   "{{CURRENTDAY}}",
   "{{CURRENTTIME}}",
   "{{CURRENTTIME}}",
   "{{CURRENTDAY2}}",
   "{{CURRENTDAY2}}",
   "{{CURRENTDOW}}",
   "{{CURRENTDOW}}",
   "{{CURRENTMONTHABBREV}}",
   "{{CURRENTMONTHABBREV}}",
   "{{CURRENTMONTHNAME}}",
   "{{CURRENTMONTHNAME}}",
   "{{CURRENTTIME}}",
   "{{CURRENTTIME}}",
   "{{CURRENTHOUR}}",
   "{{CURRENTHOUR}}",
   "{{CURRENTWEEK}}",
   "{{CURRENTWEEK}}",
   "{{CURRENTTIMESTAMP}}",
   "{{CURRENTTIMESTAMP}}",
   "{{LOCALYEAR}}",
   "{{LOCALYEAR}}",
   "{{LOCALMONTH}}",
   "{{LOCALMONTH}}",
   "{{LOCALDAY}}",
   "{{LOCALDAY}}",
   "{{LOCALTIME}}",
   "{{LOCALTIME}}",
   "{{LOCALDAY2}}",
   "{{LOCALDAY2}}",
   "{{LOCALDOW}}",
   "{{LOCALDOW}}",
   "{{LOCALMONTHABBREV}}",
   "{{LOCALMONTHABBREV}}",
   "{{LOCALMONTHNAME}}",
   "{{LOCALMONTHNAME}}",
   "{{LOCALTIME}}",
   "{{LOCALTIME}}",
   "{{LOCALHOUR}}",
   "{{LOCALHOUR}}",
   "{{LOCALWEEK}}",
   "{{LOCALWEEK}}",
   "{{LOCALTIMESTAMP}}",
   "{{LOCALTIMESTAMP}}",
   "{{CURRENTTIME-JST}}",
   "{{CURRENTTIME-JST}}",
   "{{CURRENTHOUR-JST}}",
   "{{CURRENTHOUR-JST}}",
   "{{CURRENTDAY-JST}}",
   "{{CURRENTDAY-JST}}",
   "{{CURRENTDAYNAME-JST}}",
   "{{CURRENTDAYNAME-JST}}",
   "{{CURRENTMONTH-JST}}",
   "{{CURRENTMONTH-JST}}",
   "{{CURRENTYEAR-JST}}",
   "{{CURRENTYEAR-JST}}",
   "{{CURRENTGENGONAME-JST}}",
   "{{CURRENTGENGONAME-JST}}",
   "{{CURRENTGENGOYEAR-JST}}",
   "{{CURRENTGENGOYEAR-JST}}",
   "{{CURRENTKANSHI-JST}}",
   "{{CURRENTKANSHI-JST}}",
   "{{CURRENTLASTDAYOFMONTH-JST}}"
   "{{CURRENTLASTDAYOFMONTH-JST}}"
   )
   )