[Bug 25182] Revision 72797 breaks 'vector' skin

2010-09-16 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=25182 --- Comment #4 from Roan Kattouw roan.katt...@gmail.com 2010-09-16 13:45:28 UTC --- Attempted to fix this in 73115, could you test that? -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email --- You are receiving

[Bug 25182] Revision 72797 breaks 'vector' skin

2010-09-16 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=25182 Joris jorisaerts+m...@gmail.com changed: What|Removed |Added Status|NEW |RESOLVED

[Bug 25182] Revision 72797 breaks 'vector' skin

2010-09-15 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=25182 Guillaume Paumier gpaum...@wikimedia.org changed: What|Removed |Added CC|

[Bug 25182] Revision 72797 breaks 'vector' skin

2010-09-15 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=25182 --- Comment #2 from Roan Kattouw roan.katt...@gmail.com 2010-09-15 20:14:19 UTC --- Meh. Does replacing file_exists() with is_file() fix this? Alternatively, could you try changing this: if ( file_exists( $file ) ) { some code here }

[Bug 25182] Revision 72797 breaks 'vector' skin

2010-09-15 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=25182 --- Comment #3 from Joris jorisaerts+m...@gmail.com 2010-09-15 20:31:27 UTC --- thnx for the tip Guillaume. is_file didn't change a thing. SuppressWarnings does. -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email