maelzx a319fa8d47 Fix window.location mistakes in previous code ... Sorry guys, I commit the incomplete code. It should be window.location.assign(url); However this is just tested in google chrome.		2013-02-28 11:26:42 +08:00
..
ajax	Merge branch 'master' into versions_cleanup	2013-02-27 15:50:08 +01:00
appinfo	remove admin settings from app.php	2013-02-27 15:53:08 +01:00
css	added revert attempt outcome messages, removed contextual ajax revert button for now as it's not functional, improved readaibility of scripts	2012-04-27 13:19:16 +01:00
js	Fix window.location mistakes in previous code	2013-02-28 11:26:42 +08:00
l10n	[tx-robot] updated from transifex	2013-02-28 00:05:40 +01:00
lib	escape regular expressions; fix typo in variable name	2013-02-27 10:51:32 +01:00
templates	remove admin settings for versions	2013-02-27 15:44:02 +01:00
history.php	l10n support enhanced in files_version	2013-02-07 16:17:54 +01:00