mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-23 23:24:39 +00:00
7a6fdeb327
Procedure per https://www.mediawiki.org/wiki/Manual:GenerateJsonI18n.php with shim. Change-Id: I6931ff83b4358bbc55af3627f069201795700fd2
11 lines
400 B
JSON
11 lines
400 B
JSON
{
|
|
"@metadata": {
|
|
"authors": [
|
|
"Amire80"
|
|
]
|
|
},
|
|
"popups-message": "כרטיסים מרחפים",
|
|
"popups-desc": "הצגת כרטיסים מרחפים עם סיכומים של תוכן הדף כאשר משתמש עובר מעל קישור לדף.",
|
|
"popups-last-edited": "נערך לאחרונה $1",
|
|
"popups-redirects": "מפנה לדף <h3>$1</h3>"
|
|
} |