PHPIndex

This page lists files in the current directory. You can view content, get download/execute commands for Wget, Curl, or PowerShell, or filter the list using wildcards (e.g., `*.sh`).

wget 'https://lists2.roe3.org/FreshRSS/lib/core-extensions/UserJS/i18n/de/ext.php'

<?php

return array(
	'user_js' => array(
		'write_js' => 'Benutzerspezifische Javascript Regeln',
	),
);